package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module contains the type for syntax errors in ACGs.

type t =
  1. | MenhirError of int
    (*

    Error i is raised on a syntax error with i the number given by Menhir to select the correct message.

    *)
  2. | TypeExpected
  3. | ArrowExpected
  4. | ArrowOrRParenthesisExpected
  5. | LessThanExpected
  6. | AssociativitySpecExpected
  7. | TermNotArrowExpected
  8. | InfixMissingFirstArg of string
  9. | InfixMissingSecondArg of string
  10. | NotAssociative of string
  11. | NotInfix of string
  12. | PrefixMissingArg of string
  13. | UnknownConstant of string
  14. | UnknownType of string
  15. | UnknownBinder of string
  16. | UnknownConstantNorVariable of string
  17. | UnknownConstantNorType of string
  18. | NotDefAsInfix of string
  19. | DuplicatedTerm of string
  20. | DuplicatedType of string
  21. | Other
    (*

    Other is for an unknown error.

    *)
val kind : string
val pp : Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct