Language.Fixpoint.Types.Errors

Concrete Location Type

data SrcSpan

dummySpan

sourcePosElts

Result

data FixResult a

colorResult

resultDoc

Abstract Error Type

data Error

Constructor

err

Accessors

errLoc

errMsg

Adding Insult to Injury

catError

catErrors

Fatal Exit

die

exit

Some popular errors

errFreeVarInQual

errFreeVarInConstraint