Lines Matching defs:loop
328 | ([],_) => raise ERR "topo_sort" "loop or missing nodes"
414 fun loop i (d,l) =
418 loop (i+1) (if dmem r d then (d,l) else (dadd r () d, r :: l))
421 loop 0 (dempty cmp, [])
903 fun loop file = case TextIO.inputLine file of
904 SOME line => line :: loop file
906 val l = loop file
914 fun loop file = case TextIO.inputLine file of
915 SOME line => line :: loop file
917 val l1 = loop file
929 fun loop file = case TextIO.inputLine file of
930 SOME line => line :: loop file
932 val l1 = loop file
1262 fun loop n =
1265 then (OS.Process.sleep (Time.fromReal 0.0001); loop (n-1))
1268 loop 1000000