Errors.Lexicon_lThis module contains the type of errors linked to lexicons.
type t = | MissingInterpretations of string * string * string list| BadInterpretationOfMacro of string * string * string| NotComposable of string * string * stringNotComposable (l, l1, l2) is raised whenever lexicon l is defined using the composition l2∘l1 at position pos but the abstract vocabulary of l2 is not the object one of l1.
| NotCompatibleSignature of string * string * string * stringNotCompatibleSignature (lex_name, lex_filename, sig_name and sig_filename) is raised when a lexicon that depends on signature sig_name, defined in file sig_filename, is loaded, and there actually is a signature with name sig_name in the environment, but it is not the one against which lex_name was compiled.
val pp : Stdlib.Format.formatter -> t -> unit