package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

Dune Dependency

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

Authors

S

Sylvain Pogodalla

Maintainers

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.Error`Source

Sourcetype bracket =

| Round
| Square
| Curly

Sourcetype lex_error =

| Unstarted_comment
| Unstarted_bracket
| Mismatch_parentheses of bracket
| Unclosed_comment
| Expect of string
| Bad_token

Sourcetype synt_error = E.t

Sourcetype error =

| SyntError of synt_error
| LexError of lex_error
| SysError of string

Sourceexception Error of error * UtilsLib.ErrorMg.location

The exception that should be raised when an error occur

Source

val 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

Source

val push_bracket : 
  bracket ->
  UtilsLib.ErrorMg.location ->
  (bracket * UtilsLib.ErrorMg.location) list ->
  (bracket * UtilsLib.ErrorMg.location) list

Source

val pop_bracket : 
  bracket ->
  UtilsLib.ErrorMg.location ->
  (bracket * UtilsLib.ErrorMg.location) list ->
  (bracket * UtilsLib.ErrorMg.location) list

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

package acgtk

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module DlError.ErrorSource

Module `DlError.Error`Source