|Copyright||(c) The University of Glasgow 1994-2002|
|Portability||non-portable (GHC extensions)|
The GHC.Err module defines the code for the wired-in error functions, which have a special type in the compiler (with "open tyvars").
We cannot define these functions in a module where they might be used (e.g., GHC.Base), because the magical wired-in type will get confused with what the typechecker figures out.
Used for compiler-generated error message; encoding saves bytes of string junk.
error :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => [Char] -> a Source
error stops execution and displays an error message.
errorWithoutStackTrace :: forall (r :: RuntimeRep). forall (a :: TYPE r). [Char] -> a Source
A variant of
error that does not produce a stack trace.
undefined :: forall (r :: RuntimeRep). forall (a :: TYPE r). HasCallStack => a Source
A special case of
error. It is expected that compilers will recognize this and insert error messages which are more appropriate to the context in which
© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).