X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fprelude%2FPrelInfo.lhs;h=48981b3ab5b308519f45c515ae8e0fa03f3be97b;hb=5fa086c51816f09d03fb1a089dde64df6bd2d8a3;hp=3fa99f11876b7a596aafb21c81c3d60ac451a0cc;hpb=ad94d40948668032189ad22a0ad741ac1f645f50;p=ghc-hetmet.git diff --git a/compiler/prelude/PrelInfo.lhs b/compiler/prelude/PrelInfo.lhs index 3fa99f1..48981b3 100644 --- a/compiler/prelude/PrelInfo.lhs +++ b/compiler/prelude/PrelInfo.lhs @@ -4,15 +4,9 @@ \section[PrelInfo]{The @PrelInfo@ interface to the compiler's prelude knowledge} \begin{code} -{-# OPTIONS -w #-} --- The above warning supression flag is a temporary kludge. --- While working on this module you are encouraged to remove it and fix --- any warnings in the module. See --- http://hackage.haskell.org/trac/ghc/wiki/CodingStyle#Warnings --- for details - module PrelInfo ( - module MkId, + wiredInIds, ghcPrimIds, + primOpRules, builtinRules, ghcPrimExports, wiredInThings, basicKnownKeyNames, @@ -31,7 +25,7 @@ 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 ) @@ -45,7 +39,7 @@ import Type ( funTyCon ) import TyCon ( tyConName ) import Util ( isIn ) -import Array ( Array, array, (!) ) +import Data.Array \end{code} %************************************************************************ @@ -56,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: @@ -160,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}