Lines Matching defs:loop
88 (* loop: calls scan on a list of lists until only
93 fun loop (a :: nil) = a
94 | loop l = loop (scan l)
96 in loop (map (fn a => [a]) l)
135 let fun loop (index,nil) = nil
136 | loop (index,h :: t) = (h,index) :: loop(index+1,t)
137 in loop (0: int,l)
140 local fun loop ((e,_) :: t, prev, class, R , SE: int list) =
142 then loop(t,e,class,R, class :: SE)
143 else loop(t,e,class+1,e :: R, (class + 1) :: SE)
144 | loop (nil,_,_,R,SE) = (rev R, rev SE)
147 | (e,_) :: t => loop(t, e, 0, [e],[0: int])
154 fun loop (elem :: r, dest :: s) =
155 (update(result,dest,elem); loop(r,s))
156 | loop _ = ()
161 in loop (l,permutation); listofarray 0