Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module contains types for type errors.
Synopsis
- data TypeError loc var
- = OccursErr loc (Type loc var)
- | UnifyErr loc (Type loc var) (Type loc var)
- | SubtypeErr loc (Type loc var) (Type loc var)
- | NotInScopeErr loc var
- | ConsArityMismatch { }
- | EmptyCaseExpr loc
- | FreshNameFound
Documentation
data TypeError loc var Source #
Type errors.
OccursErr loc (Type loc var) | error of mismatch of polymorphic constructors, infinite type. Like [a] = a |
UnifyErr loc (Type loc var) (Type loc var) | Unification error |
SubtypeErr loc (Type loc var) (Type loc var) | Subtype error (happens on explicit type assertions) |
NotInScopeErr loc var | Missing signature in context for free-variable. |
ConsArityMismatch | mismatch of arity in pattern-matching |
| |
EmptyCaseExpr loc | no case alternatives in the case expression |
FreshNameFound | internal error with fresh name substitution. Should not normally occur if algorithm is correct. |