equal
deleted
inserted
replaced
102 Lexicon.scan_id >> token Ident || |
102 Lexicon.scan_id >> token Ident || |
103 Symbol_Pos.scan_string_q err_prefix >> (fn (pos1, (ss, pos2)) => |
103 Symbol_Pos.scan_string_q err_prefix >> (fn (pos1, (ss, pos2)) => |
104 [Token (Position.range pos1 pos2, (String, Symbol_Pos.content ss))]); |
104 [Token (Position.range pos1 pos2, (String, Symbol_Pos.content ss))]); |
105 |
105 |
106 val scan = |
106 val scan = |
107 (Scan.repeat scan_token >> flat) --| |
107 Scan.repeats scan_token --| |
108 Symbol_Pos.!!! (fn () => err_prefix ^ "bad input") |
108 Symbol_Pos.!!! (fn () => err_prefix ^ "bad input") |
109 (Scan.ahead (Scan.one Symbol_Pos.is_eof)); |
109 (Scan.ahead (Scan.one Symbol_Pos.is_eof)); |
110 |
110 |
111 in |
111 in |
112 |
112 |