Lines Matching defs:results
61 fun eval G (e:(''i,'v)pegsym) input (results:'v option list) k fk =
63 empty v => apply G k input (SOME v::results)
65 [] => apply G fk input results
66 | h::t => apply G k t (SOME (tf h)::results))
68 [] => apply G fk input results
69 | x::xs => if x = t then apply G k xs (SOME v::results)
70 else apply G fk input results)
72 eval G e1 input results
73 (sym(e2,binary2list f k,returnTo(input,results,fk)))
76 input results
78 (returnTo(input,results,
81 eval G e input results
82 (returnTo(input,results,fk))
83 (returnTo(input,SOME v::results,k))
85 eval G e input (NONE::results) (listsym(e,f,k)) (poplist(f,k))
86 | nt(n,f) => eval G (G n) input results k fk
87 and apply G (k:(''i,'v)kont) input (results:'v option list) =
89 done => SOME (valOf (hd results), input)
91 | sym(e,k,f) => eval G e input results k f
92 | applyf(f, k) => apply G k input (f results)
95 eval G e input results (listsym(e,f,k)) (poplist(f, k))
96 | poplist(f,k) => apply G k input (poplistval f results : 'v option list)
124 val results = [