prerr_endline (Printf.sprintf "Unsupported level %s" l);
exit 2
in
- let token_stream = fst (lexer.Token.tok_func (Stream.of_channel !ic)) in
+ let token_stream =
+ fst (lexer.Token.tok_func (Obj.magic (Ulexing.from_utf8_channel !ic)))
+ in
Printf.printf "Lexing notation level %s\n" !level; flush stdout;
let rec dump () =
let (a,b) = Stream.next token_stream in