package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install

Dune Dependency

Authors

Maintainers

Sources

acg-2.1.0-20240219.tar.gz
sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2

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
OCaml

Innovation. Community. Security.