package acgtk
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_l
Source
This module contains the type of errors linked to lexicons.
Source
type t =
| MissingInterpretations of string * string * string list
| BadInterpretationOfMacro of string * string * string
| NotComposable of string * string * string
(*
*)NotComposable (l, l1, l2)
is raised whenever lexiconl
is defined using the compositionl2∘l1
at positionpos
but the abstract vocabulary ofl2
is not the object one ofl1
.| NotCompatibleSignature of string * string * string * string
(*
*)NotCompatibleSignature (lex_name, lex_filename, sig_name and sig_filename)
is raised when a lexicon that depends on signaturesig_name
, defined in filesig_filename
, is loaded, and there actually is a signature with namesig_name
in the environment, but it is not the one against whichlex_name
was compiled.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>