helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Messages.StaticErrors

Description

 

Documentation

type Errors = [Error] Source

data Error Source

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

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

showError :: Error -> (MessageBlock, MessageBlocks) Source

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

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

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

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

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

errorsLogCode :: Errors -> String Source

errorLogCode :: Error -> String Source