remove_left_quote (Ulexing.utf8_lexeme lexbuf))
| meta_anonymous -> return lexbuf ("UNPARSED_META", "anonymous")
| beginnote ->
- let comment = comment_token (Ulexing.utf8_lexeme lexbuf) 0 lexbuf in
+ let _comment = comment_token (Ulexing.utf8_lexeme lexbuf) 0 lexbuf in
(* let comment =
Ulexing.utf8_sub_lexeme lexbuf 2 (Ulexing.lexeme_length lexbuf - 4)
in
if lexeme.[0] = '\\'
then [ Utf8Macro.expand (String.sub lexeme 1 (String.length lexeme - 1)) ]
else List.rev (Hashtbl.find_all ligatures lexeme)
- with Invalid_argument _ | Utf8Macro.Macro_not_found _ as exn -> []
+ with Invalid_argument _ | Utf8Macro.Macro_not_found _ -> []