Foreign.Storable.Generic.Plugin.Internal.Error

Contains the Error datatype and related pretty print functions.

Documentation

data Verbosity

How verbose should the messages be.

Constructors

None

Some

All

type CrashOnWarning = Bool

Crash when an recoverable error occurs. For testing purposes.

data Flags

Contains user-specified flags.

Constructors

Flags Verbosity CrashOnWarning

data Error

All possible errors.

Constructors

TypeNotFound Id

Could not obtain the type from the id.

RecBinding CoreBind

The binding is recursive and won't be substituted.

CompilationNotSupported CoreBind

The compilation-substitution is not supported for the given binding.

CompilationError CoreBind SDoc

Error during compilation. The CoreBind is to be returned.

OrderingFailedBinds Int [CoreBind]

Ordering failed for core bindings.

OrderingFailedTypes Int [Type]

Ordering failed for types

OtherError SDoc

Any other error.

pprError :: Verbosity -> Error -> SDoc

Print an error according to verbosity flag.

stringToPpr :: String -> SDoc

Change String to SDoc. Each newline is $$ed with nest equal to spaces before. t is 4.