Module AltErgoLib.ErrorsSource

Sourcetype error =
  1. | BitvExtract of int * int
  2. | BitvExtractRange of int * int
  3. | ClashType of string
  4. | ClashLabel of string * string
  5. | ClashParam of string
  6. | TypeDuplicateVar of string
  7. | UnboundedVar of string
  8. | UnknownType of string
  9. | WrongArity of string * int
  10. | SymbAlreadyDefined of string
  11. | SymbUndefined of string
  12. | NotAPropVar of string
  13. | NotAPredicate of string
  14. | Unification of Ty.t * Ty.t
  15. | ShouldBeApply of string
  16. | WrongNumberofArgs of string
  17. | ShouldHaveType of Ty.t * Ty.t
  18. | ShouldHaveTypeIntorReal of Ty.t
  19. | ShouldHaveTypeInt of Ty.t
  20. | ShouldHaveTypeBitv of Ty.t
  21. | ArrayIndexShouldHaveTypeInt
  22. | ShouldHaveTypeArray
  23. | ShouldHaveTypeRecord of Ty.t
  24. | ShouldBeARecord
  25. | ShouldHaveLabel of string * string
  26. | NoLabelInType of Hstring.t * Ty.t
  27. | ShouldHaveTypeProp
  28. | NoRecordType of Hstring.t
  29. | DuplicateLabel of Hstring.t
  30. | DuplicatePattern of string
  31. | WrongLabel of Hstring.t * Ty.t
  32. | WrongNumberOfLabels
  33. | Notrigger
  34. | CannotGeneralize
  35. | SyntaxError
  36. | ThExtError of string
  37. | ThSemTriggerError
  38. | WrongDeclInTheory
  39. | ShouldBeADT of Ty.t
  40. | MatchNotExhaustive of Hstring.t list
  41. | MatchUnusedCases of Hstring.t list
  42. | NotAdtConstr of string * Ty.t
Sourceexception Error of error * Loc.t
Sourceexception Lexical_error of Loc.t * string
Sourceexception Syntax_error of Loc.t * string
Sourceval report : Format.formatter -> error -> unit
Sourceval error : error -> Loc.t -> 'a
Sourceval warning : error -> Loc.t -> unit