Safe Haskell | None |
---|---|
Language | Haskell2010 |
Defines a simple exception type and utilities to throw it. The
PlainGhcException
type is a subset of the GhcException
type. It omits the exception constructors that involve
pretty-printing via SDoc
.
There are two reasons for this:
- To avoid import cycles / use of boot files. Outputable has many transitive dependencies. To throw exceptions from these modules, the functions here can be used without introducing import cycles.
- To reduce the number of modules that need to be compiled to object code when loading GHC into GHCi. See #13101
Synopsis
- data PlainGhcException
- showPlainGhcException :: PlainGhcException -> ShowS
- panic :: String -> a
- sorry :: String -> a
- pgmError :: String -> a
- cmdLineError :: String -> a
- cmdLineErrorIO :: String -> IO a
- assertPanic :: String -> Int -> a
- progName :: String
Documentation
data PlainGhcException Source #
This type is very similar to GhcException
, but it omits
the constructors that involve pretty-printing via
SDoc
. Due to the implementation of fromException
for GhcException
, this type can be caught as a
GhcException
.
Note that this should only be used for throwing exceptions, not for
catching, as GhcException
will not be converted to this
type when catching.
PlainSignal Int | Some other fatal signal (SIGHUP,SIGTERM) |
PlainUsageError String | Prints the short usage msg after the error |
PlainCmdLineError String | A problem with the command line arguments, but don't print usage. |
PlainPanic String | The |
PlainSorry String | The user tickled something that's known not to work yet, but we're not counting it as a bug. |
PlainInstallationError String | An installation problem. |
PlainProgramError String | An error in the user's code, probably. |
Instances
Show PlainGhcException # | |
Defined in PlainPanic | |
Exception PlainGhcException # | |
Defined in PlainPanic |
showPlainGhcException :: PlainGhcException -> ShowS Source #
Append a description of the given exception to this string.
cmdLineError :: String -> a Source #
cmdLineErrorIO :: String -> IO a Source #
assertPanic :: String -> Int -> a Source #
Throw a failed assertion exception for a given filename and line number.