* error message *)
exception Error of int * int * string
+module LocalizeEnv :
+sig
+ include Map.S with type key = Stdpp.location
+end
+
type lexers = {
- level1_pattern_lexer : (string * string) Token.glexer;
- level2_ast_lexer : (string * string) Token.glexer;
- level2_meta_lexer : (string * string) Token.glexer
+ level1_pattern_lexer : (string * string) Token.glexer;
+ level2_ast_lexer : (string * string) Token.glexer;
+ level2_meta_lexer : (string * string) Token.glexer
}
-val mk_lexers : string list -> lexers
+val mk_lexers :
+ (string option * string option) LocalizeEnv.t ref -> string list -> lexers