package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install

dune-project
 Dependency

Authors

Maintainers

Sources

acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

doc/acgtk.acgData/AcgData/Errors/Lexicon_l/index.html

Module Errors.Lexicon_lSource

This module contains the type of errors linked to lexicons.

Sourcetype 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.

    *)
Sourceval kind : string
Sourceval pp : Format.formatter -> t -> unit