Arg.parse arg_spec open_file usage;
let lexer =
match !level with
- "1" -> CicNotationLexer.level1_pattern_lexer
- | "2@" -> CicNotationLexer.level2_ast_lexer
- | "2$" -> CicNotationLexer.level2_meta_lexer
+ "1" -> CicNotationLexer.level1_pattern_lexer ()
+ | "2@" -> CicNotationLexer.level2_ast_lexer ()
+ | "2$" -> CicNotationLexer.level2_meta_lexer ()
| l ->
prerr_endline (Printf.sprintf "Unsupported level %s" l);
exit 2
if a = "EOI" then raise Stream.Failure;
let pos = loc_func !tok_count in
print_endline (Printf.sprintf "%s '%s' (@ %d-%d)" a b
- (Ploc.first_pos pos) (Ploc.last_pos pos));
+ (Stdpp.first_pos pos) (Stdpp.last_pos pos));
incr tok_count;
dump ()
in