Helium.StaticAnalysis.Messages.StaticErrors

Documentation

type Errors = [Error]

data Error

Constructors

NoFunDef Entity Name Names

Undefined Entity Name Names [String]

Duplicated Entity Names

LastStatementNotExpr Range

WrongFileName String String Range

TypeVarApplication Name

ArityMismatch Entity Name Int Int

DefArityMismatch Name (Maybe Int) Range

RecursiveTypeSynonyms Names

PatternDefinesNoVars Range

IntLiteralTooBig Range String

OverloadingDisabled Range

OverloadedRestrPat Name

WrongOverloadingFlag Bool

AmbiguousContext Name

UnknownClass Name

NonDerivableClass Name

CannotDerive Name Tps

TupleTooBig Range

Instances

HasMessage Error

sensiblySimilar :: Name -> Names -> [Name]

showError :: Error -> (MessageBlock, MessageBlocks)

makeUndefined :: Entity -> Names -> Names -> [Error]

makeDuplicated :: Entity -> [Names] -> [Error]

undefinedConstructorInExpr :: Name -> Names -> Names -> Error

undefinedConstructorInPat :: Bool -> Name -> Names -> Names -> Error

makeNoFunDef :: Entity -> Names -> Names -> [Error]

errorsLogCode :: Errors -> String

errorLogCode :: Error -> String