helium-1.8: The Helium Compiler.

Safe HaskellNone
LanguageHaskell98

Helium.StaticAnalysis.Directives.TS_Messages

Description

compiled.

(directives based on "Scripting the Type Inference Process", ICFP 2003)

Documentation

type TS_Errors = [TS_Error] Source

data TS_Error Source

Constructors

InconsistentConstraint String ConstraintInfo 
UndefinedTS String Name Entity 
UnusedMetaVariable String String 
DuplicatedMetaVariablesPremise String String 
DuplicatedMetaVariablesConclusion String String 
DuplicatedMetaVariableConstraints String String 
TypeErrorTS String TypeError 
Soundness String TpScheme TpScheme 

Instances

type TS_Warnings = [TS_Warning] Source

data TS_Warning Source

Constructors

MetaVariableConstraintsNotExplicit String [String] 

Instances

showTS_Error :: TS_Error -> String Source

showTS_Warning :: TS_Warning -> String Source