Copyright | (c) Mateusz Kłoczko 2016 |
---|---|
License | MIT |
Maintainer | mateusz.p.kloczko@gmail.com |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
Foreign.Storable.Generic.Plugin.Internal.Error
Description
Contains the Error datatype and related pretty print functions.
- data Verbosity
- type CrashOnWarning = Bool
- data Flags = Flags Verbosity CrashOnWarning
- data Error
- pprError :: Verbosity -> Error -> SDoc
- stringToPpr :: String -> SDoc
Documentation
type CrashOnWarning = Bool Source #
Crash when an recoverable error occurs. For testing purposes.
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. |
stringToPpr :: String -> SDoc Source #
Change String to SDoc. Each newline is $$ed with nest equal to spaces before. t is 4.