package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install 

dune-project
 Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (3)

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acgtk-1.5.3.tar.gz
sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41
md5=04c1e14f98e2c8fd966ef7ef30b38323

doc/acgtkLib.datalogLib/DatalogLib/DlError/Error/index.html

Module DlError.ErrorSource

Sourcetype bracket =
  1. | Round
  2. | Square
  3. | Curly
Sourcetype lex_error =
  1. | Unstarted_comment
  2. | Unstarted_bracket
  3. | Mismatch_parentheses of bracket
  4. | Unclosed_comment
  5. | Expect of string
  6. | Bad_token
Sourcetype synt_error = E.t
Sourcetype error =
  1. | SyntError of synt_error
  2. | LexError of lex_error
  3. | SysError of string

The exception that should be raised when an error occur

Sourceval error_msg : ?filename:string -> (error * UtilsLib.ErrorMg.location) -> string

error_msg e ~filename returns a string describing the error e while the file filename is being processed

Sourceval empty_bracket_stack : (bracket * UtilsLib.ErrorMg.location) list
Sourceval check_brackets : (bracket * UtilsLib.ErrorMg.location) list -> unit