GHC/Err.lhs-boot

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