X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fprelude%2FPrelInfo.lhs;h=96d8c8cb9f68431b32a5b1b07e282bdb21dabc22;hb=1c15bee5a8fc004c16693d7d7a2d95b442549b66;hp=88c8bb7089a1dfcd397f3147a10e242839505578;hpb=8e2c0b76cd426ae794bd0ff046b95c437cef6e4a;p=ghc-hetmet.git diff --git a/compiler/prelude/PrelInfo.lhs b/compiler/prelude/PrelInfo.lhs index 88c8bb7..96d8c8c 100644 --- a/compiler/prelude/PrelInfo.lhs +++ b/compiler/prelude/PrelInfo.lhs @@ -28,7 +28,6 @@ import PrelNames ( basicKnownKeyNames, 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 ) @@ -50,7 +49,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: @@ -154,5 +153,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}