module PrelNames,
module MkId,
- wiredInNames, -- Names of wired in things
- wiredInThings,
-
+ wiredInThings, -- Names of wired in things
+ wiredInThingEnv,
-- Primop RdrNames
eqH_Char_RDR, ltH_Char_RDR, eqH_Word_RDR, ltH_Word_RDR,
import PrelNames -- Prelude module names
import PrimOp ( PrimOp(..), allThePrimOps, primOpRdrName )
-import DataCon ( DataCon, dataConId, dataConWrapId )
+import DataCon ( DataCon )
import MkId ( mkPrimOpId, wiredInIds )
import MkId -- All of it, for re-export
import TysPrim ( primTyCons )
import TysWiredIn ( wiredInTyCons )
-import HscTypes ( TyThing(..) )
+import HscTypes ( TyThing(..), implicitTyThingIds, TypeEnv, mkTypeEnv )
-- others:
-import RdrName ( RdrName )
-import Name ( Name, getName )
-import TyCon ( tyConDataConsIfAvailable, TyCon )
import Class ( Class, classKey )
import Type ( funTyCon )
-import Bag
-import BasicTypes ( Boxity(..) )
import Util ( isIn )
-import Outputable ( ppr, pprPanic )
\end{code}
%************************************************************************
wiredInThings :: [TyThing]
wiredInThings
= concat
- [ -- Wired in TyCons
- map ATyCon ([funTyCon] ++ primTyCons ++ wiredInTyCons)
+ [ -- Wired in TyCons and their implicit Ids
+ tycon_things
+ , map AnId (implicitTyThingIds tycon_things)
-- Wired in Ids
, map AnId wiredInIds
-- PrimOps
, map (AnId . mkPrimOpId) allThePrimOps
]
+ where
+ tycon_things = map ATyCon ([funTyCon] ++ primTyCons ++ wiredInTyCons)
-wiredInNames :: [Name]
-wiredInNames = [n | thing <- wiredInThings, n <- tyThingNames thing]
-
-tyThingNames :: TyThing -> [Name]
-tyThingNames (AClass cl) = pprPanic "tyThingNames" (ppr cl) -- Not used
-tyThingNames (AnId id) = [getName id]
-tyThingNames (ATyCon tc)
- = getName tc : [ getName n | dc <- tyConDataConsIfAvailable tc,
- n <- [dataConId dc, dataConWrapId dc] ]
- -- Synonyms return empty list of constructors
+wiredInThingEnv :: TypeEnv
+wiredInThingEnv = mkTypeEnv wiredInThings
\end{code}
We let a lot of "non-standard" values be visible, so that we can make