liquid-fixpoint-0.2.2.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe Haskell	None
Language	Haskell98

Language.Fixpoint.Errors

Contents

Concrete Location Type
Abstract Error Type
Constructor
Accessors
Adding Insult to Injury
Fatal Exit

Synopsis

Concrete Location Type

data SrcSpan Source

A Reusable SrcSpan Type ------------------------------------------

Constructors

SS
Fields sp_start :: !SourcePos sp_stop :: !SourcePos

Instances

Eq SrcSpan
Data SrcSpan
Ord SrcSpan
Show SrcSpan
Generic SrcSpan
Hashable SrcSpan
PPrint SrcSpan
Typeable * SrcSpan
type Rep SrcSpan

dummySpan :: SrcSpan Source

sourcePosElts :: SourcePos -> (SourceName, Line, Column) Source

Abstract Error Type

data Error Source

A BareBones Error Type -------------------------------------------

Instances

Eq Error
Data Error
Ord Error
Show Error
Generic Error
Exception Error
Error Error
Fixpoint Error
PPrint Error
Typeable * Error
type Rep Error

Constructor

err :: SrcSpan -> String -> Error Source

Accessors

errLoc :: Error -> SrcSpan Source

errMsg :: Error -> String Source

Adding Insult to Injury

catMessage :: Error -> String -> Error Source

catError :: Error -> Error -> Error Source

Fatal Exit

die :: Error -> a Source