Lines Matching defs:Stream
124 structure Stream : STREAM) : LR_PARSER =
130 structure Stream = Stream
161 type ('a,'b) lexpair = ('a,'b) lexv * (('a,'b) lexv Stream.stream)
238 val newLexPair = Stream.get lexer
254 in (topvalue,Stream.cons(token,restLexer))
287 val newLexPair = Stream.get lexer
376 let val lex' = List.foldr (fn (t',p)=>(t',Stream.cons p)) lex new
398 else del(n-1,tok::accum,left,r,Stream.get lexer)
419 tryChange{lex=Stream.get lexer,stack=stack,
433 then SOME([tok],l,r,Stream.get lp')
437 then case do_delete(rest,Stream.get lp')
519 val lp1 = foldl(fn (_,(_,r)) => Stream.get r) lexPair orig
520 val lp2 = foldr(fn(t,r)=>(t,Stream.cons r)) lp1 new
540 val lexPair = Stream.get lexer
564 structure Stream=Stream);