Lines Matching defs:loop
72 fun loop (h::t) =
78 | NS _ => numNS := !numNS+1; loop t)
79 | loop nil = {rr = !numRR, sr = !numSR,
83 in loop l
280 fun loop (nil,actions) = (rev actions,ERROR)
281 | loop ((a as (_,SHIFT _)) :: r,actions) =
282 loop(r,a::actions)
283 | loop ((a as (_,REDUCE _)) :: r,actions) =
285 | loop (_ :: r,actions) = loop(r,actions)
288 then loop(actions,nil)