Move error-ids to MkCore (from PrelRules)

[ghc-hetmet.git] / compiler / prelude / PrelInfo.lhs

diff --git a/compiler/prelude/PrelInfo.lhs b/compiler/prelude/PrelInfo.lhs
index ea5a996..48981b3 100644 (file)
--- a/compiler/prelude/PrelInfo.lhs
+++ b/compiler/prelude/PrelInfo.lhs
@@ -5,7 +5,8 @@
 
 \begin{code}
 module PrelInfo (
-       module MkId,
+        wiredInIds, ghcPrimIds,
+        primOpRules, builtinRules,
 
        ghcPrimExports,
        wiredInThings, basicKnownKeyNames,
@@ -24,11 +25,10 @@ module PrelInfo (
 import PrelNames       ( basicKnownKeyNames, 
                          hasKey, charDataConKey, intDataConKey,
                          numericClassKeys, standardClassKeys )
-
+import PrelRules
 import PrimOp          ( PrimOp, allThePrimOps, primOpOcc, primOpTag, maxPrimOpTag )
 import DataCon         ( DataCon )
 import Id              ( Id, idName )
-import MkId            ( mkPrimOpId, wiredInIds )
 import MkId            -- All of it, for re-export
 import Name            ( nameOccName )
 import TysPrim         ( primTyCons )
@@ -39,7 +39,7 @@ import Type           ( funTyCon )
 import TyCon           ( tyConName )
 import Util            ( isIn )
 
-import Array           ( Array, array, (!) )
+import Data.Array
 \end{code}
 
 %************************************************************************
@@ -50,7 +50,7 @@ import Array          ( Array, array, (!) )
 
 Notes about wired in things
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
-* Wired-in things are Ids/TyCons that are completely known to the compiler.
+* Wired-in things are Ids\/TyCons that are completely known to the compiler.
   They are global values in GHC, (e.g.  listTyCon :: TyCon).
 
 * A wired in Name contains the thing itself inside the Name: 
@@ -69,6 +69,9 @@ Notes about wired in things
 
 \begin{code}
 wiredInThings :: [TyThing]
+-- This list is used only to initialise HscMain.knownKeyNames
+-- to ensure that when you say "Prelude.map" in your source code, you
+-- get a Name with the correct known key
 wiredInThings          
   = concat
     [          -- Wired in TyCons and their implicit Ids
@@ -151,5 +154,7 @@ isNumericClass, isStandardClass :: Class -> Bool
 
 isNumericClass     clas = classKey clas `is_elem` numericClassKeys
 isStandardClass    clas = classKey clas `is_elem` standardClassKeys
+
+is_elem :: Eq a => a -> [a] -> Bool
 is_elem = isIn "is_X_Class"
 \end{code}