+let _ =
+ let level = ref ~-1 in
+ let ic = ref stdin in
+ let arg_spec = [] in
+ let usage = "test_lexer [ file ]" in
+ let open_file fname =
+ if !ic <> stdin then close_in !ic;
+ ic := open_in fname
+ in
+ Arg.parse arg_spec open_file usage;
+ let lexer = CicNotationLexer.notation_lexer in
+ let token_stream = fst (lexer.Token.tok_func (Stream.of_channel !ic)) in
+ Printf.printf "Lexing notation level %d\n" !level; flush stdout;
+ let rec dump () =
+ let (a,b) = Stream.next token_stream in
+ if a = "EOI" then raise Stream.Failure;
+ print_endline (Printf.sprintf "%s '%s'" a b);
+ dump ()
+ in