Language.Fixpoint.Errors

Concrete Location Type

data SrcSpan

dummySpan

sourcePosElts

Abstract Error Type

data Error

Constructor

err

Accessors

errLoc

errMsg

Adding Insult to Injury

catMessage

catError

Fatal Exit

die