Helium.StaticAnalysis.Directives.TS_Messages

compiled.

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

Documentation

type TS_Errors = [TS_Error]

data TS_Error

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

HasMessage TS_Error

type TS_Warnings = [TS_Warning]

data TS_Warning

Constructors

MetaVariableConstraintsNotExplicit String [String]

Instances

HasMessage TS_Warning

showTS_Error :: TS_Error -> String

showTS_Warning :: TS_Warning -> String