helium-1.8.1: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Messages.TypeErrors

Description

 

Documentation

type TypeErrors = [TypeError] Source

data TypeError Source

Constructors

TypeError [Range] [MessageLine] [(Bool, MessageBlock, MessageBlock)] [TypeErrorHint] 

Instances

type TypeErrorHint = (String, MessageBlock) Source

makeNotGeneralEnoughTypeError :: Bool -> Range -> UHA_Source -> TpScheme -> TpScheme -> TypeError Source

makeMissingConstraintTypeError :: Range -> Maybe UHA_Source -> TpScheme -> (Bool, Predicate) -> UHA_Source -> TypeError Source

makeUnresolvedOverloadingError :: UHA_Source -> String -> (TpScheme, TpScheme) -> TypeError Source

makeReductionError :: UHA_Source -> Either (TpScheme, Tp) (String, Maybe Tp) -> ClassEnvironment -> Predicate -> TypeError Source

makeRestrictedButOverloadedError :: Name -> TpScheme -> TypeError Source