GHC/Err.lhs

   1 \begin{code}
   2 {-# OPTIONS_GHC -XNoImplicitPrelude #-}
   3 {-# OPTIONS_HADDOCK hide #-}
   4 -----------------------------------------------------------------------------
   5 -- |
   6 -- Module      :  GHC.Err
   7 -- Copyright   :  (c) The University of Glasgow, 1994-2002
   8 -- License     :  see libraries/base/LICENSE
   9 --
  10 -- Maintainer  :  cvs-ghc@haskell.org
  11 -- Stability   :  internal
  12 -- Portability :  non-portable (GHC extensions)
  13 --
  14 -- The "GHC.Err" module defines the code for the wired-in error functions,
  15 -- which have a special type in the compiler (with \"open tyvars\").
  16 --
  17 -- We cannot define these functions in a module where they might be used
  18 -- (e.g., "GHC.Base"), because the magical wired-in type will get confused
  19 -- with what the typechecker figures out.
  20 --
  21 -----------------------------------------------------------------------------
  22
  23 -- #hide
  24 module GHC.Err
  25        (
  26          absentErr                 -- :: a
  27        , divZeroError              -- :: a
  28        , overflowError             -- :: a
  29
  30        , error                     -- :: String -> a
  31
  32        , undefined                 -- :: a
  33        ) where
  34
  35 #ifndef __HADDOCK__
  36 import GHC.Base
  37 import GHC.IOBase
  38 import GHC.Exception
  39 #endif
  40 \end{code}
  41
  42 %*********************************************************
  43 %*                                                      *
  44 \subsection{Error-ish functions}
  45 %*                                                      *
  46 %*********************************************************
  47
  48 \begin{code}
  49 -- | 'error' stops execution and displays an error message.
  50 error :: String -> a
  51 error s = throw (ErrorCall s)
  52
  53 -- | A special case of 'error'.
  54 -- It is expected that compilers will recognize this and insert error
  55 -- messages which are more appropriate to the context in which 'undefined'
  56 -- appears.
  57
  58 undefined :: a
  59 undefined =  error "Prelude.undefined"
  60 \end{code}
  61
  62 %*********************************************************
  63 %*                                                       *
  64 \subsection{Compiler generated errors + local utils}
  65 %*                                                       *
  66 %*********************************************************
  67
  68 Used for compiler-generated error message;
  69 encoding saves bytes of string junk.
  70
  71 \begin{code}
  72 absentErr :: a
  73
  74 absentErr = error "Oops! The program has entered an `absent' argument!\n"
  75 \end{code}
  76
  77 Divide by zero and arithmetic overflow.
  78 We put them here because they are needed relatively early
  79 in the libraries before the Exception type has been defined yet.
  80
  81 \begin{code}
  82 {-# NOINLINE divZeroError #-}
  83 divZeroError :: a
  84 divZeroError = throw DivideByZero
  85
  86 {-# NOINLINE overflowError #-}
  87 overflowError :: a
  88 overflowError = throw Overflow
  89 \end{code}
  90