Documentation
infiniteUnificationMessage :: Type -> Type -> ErrorSource
unificationErrorMessage :: [(Type, Type)] -> ErrorSource
duplicatedDefinitionsMessage :: [(Name, SrcSpan)] -> [Error]Source
unsafeNameUsed :: Name -> ErrorSource
infiniteUnificationMessage :: Type -> Type -> ErrorSource
unificationErrorMessage :: [(Type, Type)] -> ErrorSource
duplicatedDefinitionsMessage :: [(Name, SrcSpan)] -> [Error]Source
unsafeNameUsed :: Name -> ErrorSource