let regexp ligature_char = [ "'`~!?@*()[]<>-+=|:;.,/\"" ]
let regexp ligature = ligature_char ligature_char+
-let regexp ident_decoration = '\'' | '!' | '?' | '`'
+let regexp ident_decoration = '\'' | '?' | '`'
let regexp ident_cont = ident_letter | xml_digit | '_'
let regexp ident = ident_letter ident_cont* ident_decoration*
let remove_quotes s = String.sub s 1 (String.length s - 2)
-let mk_lexer ?(use_ligatures = false) token =
+let mk_lexer token =
let tok_func stream =
(* let lexbuf = Ulexing.from_utf8_stream stream in *)
(** XXX Obj.magic rationale.