X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fprelude%2FPrelInfo.lhs;h=867e79d99acec2f61635cd8a0c089a95ecbf4e4b;hp=ea5a996e542147c2fe6f305f11409c474fc58a48;hb=914e415702a25a6e52ab1eaaf2aea233d6c6097e;hpb=ef61cbbcbf819e7e5930b60de59fb5d550f66e83

diff --git a/compiler/prelude/PrelInfo.lhs b/compiler/prelude/PrelInfo.lhs
index ea5a996..867e79d 100644
--- a/compiler/prelude/PrelInfo.lhs
+++ b/compiler/prelude/PrelInfo.lhs
@@ -5,30 +5,30 @@
 
 \begin{code}
 module PrelInfo (
-	module MkId,
+        wiredInIds, ghcPrimIds,
+        primOpRules, builtinRules,
 
-	ghcPrimExports,
-	wiredInThings, basicKnownKeyNames,
-	primOpId,
-	
-	-- Random other things
-	maybeCharLikeCon, maybeIntLikeCon,
+        ghcPrimExports,
+        wiredInThings, basicKnownKeyNames,
+        primOpId,
+        
+        -- Random other things
+        maybeCharLikeCon, maybeIntLikeCon,
 
-	-- Class categories
-	isNumericClass, isStandardClass
+        -- Class categories
+        isNumericClass, isStandardClass
 
     ) where
 
 #include "HsVersions.h"
 
-import PrelNames	( basicKnownKeyNames, 
-			  hasKey, charDataConKey, intDataConKey,
-			  numericClassKeys, standardClassKeys )
-
+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}