sslang-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

IR.Constraint.Error

Documentation

data Type Source #

Constructors

Infinite 
Error 
FlexVar TVarId 
RigidVar TVarId 
Type TConId [Type] 

Instances

Instances details
Show Type Source # 
Instance details

Defined in IR.Constraint.Error

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

data Error Source #

Constructors

BadExpr Type Type 
BadPattern Type Type 
InfiniteType Identifier Type 

toErrorString :: Error -> String Source #