package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module contains the type of errors linked to lexicons.

type t =
  1. | MissingInterpretations of string * string * string list
  2. | BadInterpretationOfMacro of string * string * string
  3. | NotComposable of string * string * string
    (*

    NotComposable (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.

    *)
  4. | UnavailableSignature of string * string * string
    (*

    UnavailableSignature (lex_name, sig_name and file_name) is raised when a lexicon that depends on signature sig_name is loaded, but theire is no signature with this name in the current environment

    *)
  5. | NotCompatibleSignature of string * string * string * string
    (*

    NotCompatibleSignature (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 kind : string
val pp : Stdlib.Format.formatter -> t -> unit