GHC/Err.lhs-boot

   1 \begin{code}
   2 {-# OPTIONS -fno-implicit-prelude #-}
   3 ---------------------------------------------------------------------------
   4 --                  Ghc.Err.hs-boot
   5 ---------------------------------------------------------------------------
   6
   7 module GHC.Err( error, divZeroError, overflowError ) where
   8
   9 -- The type signature for 'error' is a gross hack.
  10 -- First, we can't give an accurate type for error, because it mentions
  11 -- an open type variable.
  12 -- Second, we can't even say error :: [Char] -> a, because Char is defined
  13 -- in GHC.Base, and that would make Err.lhs-boot mutually recursive
  14 -- with GHC.Base.
  15 -- Fortunately it doesn't matter what type we give here because the
  16 -- compiler will use its wired-in version.  But we have
  17 -- to mention 'error' so that it gets exported from this .hi-boot
  18 -- file.
  19 error    :: a
  20
  21 -- divide by zero is needed quite early
  22 divZeroError :: a
  23
  24 -- overflow is needed quite early
  25 overflowError :: a
  26 \end{code}