Lines Matching defs:scan
9 val value = Int.scan base read 0
24 fun scan' acc i = let
33 | _ => scan' (c::acc) (i + 1)
37 #"a" => scan' (#"\a" :: acc) (i + 1)
38 | #"b" => scan' (#"\b" :: acc) (i + 1)
39 | #"t" => scan' (#"\t" :: acc) (i + 1)
40 | #"n" => scan' (#"\n" :: acc) (i + 1)
41 | #"v" => scan' (#"\v" :: acc) (i + 1)
42 | #"f" => scan' (#"\f" :: acc) (i + 1)
43 | #"r" => scan' (#"\r" :: acc) (i + 1)
50 scan' (chr (cord - 64) :: acc) (i + 2)
56 | #"\"" => scan' (#"\"" :: acc) (i + 1)
57 | #"\\" => scan' (#"\\" :: acc) (i + 1)
61 scan' (c::acc) (i + 5)
66 scan' (c'::acc) (i + 3)
75 if String.sub(s,i') = #"\\" then scan' acc (i' + 1)
81 scan' [] 0