% (c) The AQUA Project, Glasgow University, 1994-1996
%
-\section[GHCerr]{Module @GHCerr@}
+\section[PrelErr]{Module @PrelErr@}
-The GHCerr module defines the code for the wired-in error functions,
+The PrelErr 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., GHCbase), because the magical wired-in type will get confused
+(e.g., PrelBase), because the magical wired-in type will get confused
with what the typechecker figures out.
\begin{code}
{-# OPTIONS -fno-implicit-prelude #-}
-module GHCerr
+module PrelErr
(
irrefutPatError
--import Prelude
import PrelBase
-import IOBase
-import Addr
-import Foreign ( StablePtr, deRefStablePtr )
-import PrelList ( span )
+import PrelIOBase
+import PrelAddr
+import PrelForeign ( StablePtr, deRefStablePtr )
+import PrelList ( span )
---------------------------------------------------------------
\begin{code}
irrefutPatError
- , noMethodBindingError
+ , noMethodBindingError
--, noExplicitMethodError
- , nonExhaustiveGuardsError
- , patError
- , recConError
- , recUpdError :: String -> a
+ , nonExhaustiveGuardsError
+ , patError
+ , recConError
+ , recUpdError :: String -> a
--noDefaultMethodError s = error ("noDefaultMethodError:"++s)
--noExplicitMethodError s = error ("No default method for class operation "++s)