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/src/acgtkLib.datalogLib/dlError.ml.html

Source file `dlError.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
type err =
     | BadArity of (string * int * int)
     | ParseError of string




module E =
  struct
    type t = err
                    
    let to_string = function
      | BadArity (sym,expected_a,written_a) -> Printf.sprintf "Predicate symbole \"%s\" is defined with arity %d while used with arity %d" sym expected_a written_a
      | ParseError s -> s
  end
  
module Error = UtilsLib.ErrorMg.Make(E)