Module Errors.Parsing_l

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
val kind : string
val pp : Stdlib.Format.formatter -> t -> unit