steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

io.streams.peek: fix stack effect for [stream-]peek1.

db4
John Benediktsson 2015-04-21 11:55:16 -07:00
parent 7c2d4ad4ea
commit d2043d67d9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
extra/io/streams/peek/peek.factor
View File

@ -68,7 +68,7 @@ M: peek-stream stream-flush stream>> stream-flush ;
M: peek-stream stream-tell stream>> stream-tell ; M: peek-stream stream-tell stream>> stream-tell ;
M: peek-stream stream-seek stream>> stream-seek ; M: peek-stream stream-seek stream>> stream-seek ;
: stream-peek1 ( stream -- ch ) : stream-peek1 ( stream -- elt )
dup peeked>> [ dup peeked>> [
dup stream>> stream-read1 [ dup stream>> stream-read1 [
[ 1vector over stream-clone-resizable >>peeked drop ] keep [ 1vector over stream-clone-resizable >>peeked drop ] keep
@ -88,5 +88,5 @@ M: peek-stream stream-seek stream>> stream-seek ;
[ reverse swap peeked>> push-all ] keep [ reverse swap peeked>> push-all ] keep
] if ; ] if ;
: peek1 ( -- seq ) input-stream get stream-peek1 ; inline : peek1 ( -- elt ) input-stream get stream-peek1 ; inline
: peek ( n -- seq ) input-stream get stream-peek ; inline : peek ( n -- seq ) input-stream get stream-peek ; inline