| 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.
Synopsis
- 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.