2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
4 \section[PrelInfo]{The @PrelInfo@ interface to the compiler's prelude knowledge}
11 wiredInNames, -- Names of wired in things
16 eqH_Char_RDR, ltH_Char_RDR, eqH_Word_RDR, ltH_Word_RDR,
17 eqH_Addr_RDR, ltH_Addr_RDR, eqH_Float_RDR, ltH_Float_RDR,
18 eqH_Double_RDR, ltH_Double_RDR, eqH_Int_RDR, ltH_Int_RDR,
19 geH_RDR, leH_RDR, minusH_RDR, tagToEnumH_RDR,
21 -- Random other things
22 maybeCharLikeCon, maybeIntLikeCon,
25 isCcallishClass, isCreturnableClass, isNoDictClass,
26 isNumericClass, isStandardClass
30 #include "HsVersions.h"
33 import PrelNames -- Prelude module names
35 import PrimOp ( PrimOp(..), allThePrimOps, primOpRdrName )
36 import DataCon ( DataCon, dataConId, dataConWrapId )
37 import MkId ( mkPrimOpId, wiredInIds )
38 import MkId -- All of it, for re-export
39 import TysPrim ( primTyCons )
40 import TysWiredIn ( wiredInTyCons )
41 import HscTypes ( TyThing(..) )
44 import RdrName ( RdrName )
45 import Name ( Name, getName )
46 import TyCon ( tyConDataConsIfAvailable, TyCon )
47 import Class ( Class, classKey )
48 import Type ( funTyCon )
50 import BasicTypes ( Boxity(..) )
54 %************************************************************************
56 \subsection[builtinNameInfo]{Lookup built-in names}
58 %************************************************************************
60 We have two ``builtin name funs,'' one to look up @TyCons@ and
61 @Classes@, the other to look up values.
64 wiredInThings :: [TyThing]
68 map ATyCon ([funTyCon] ++ primTyCons ++ wiredInTyCons)
74 , map (AnId . mkPrimOpId) allThePrimOps
77 wiredInNames :: [Name]
78 wiredInNames = [n | thing <- wiredInThings, n <- tyThingNames]
80 tyThingNames :: TyCon -> [Name]
81 tyThingNames (AnClass cl) = pprPanic "tyThingNames" (ppr cl) -- Not used
82 tyThingNames (AnId id) = [getName id]
83 tyThingNames (ATyCon tc) = getName tycon : [ getName n | dc <- tyConDataConsIfAvailable tycon,
84 n <- [dataConId dc, dataConWrapId dc] ]
85 -- Synonyms return empty list of constructors
88 We let a lot of "non-standard" values be visible, so that we can make
89 sense of them in interface pragmas. It's cool, though they all have
90 "non-standard" names, so they won't get past the parser in user code.
93 %************************************************************************
95 \subsection{RdrNames for the primops}
97 %************************************************************************
99 These can't be in PrelNames, because we get the RdrName from the PrimOp,
100 which is above PrelNames in the module hierarchy.
103 eqH_Char_RDR = primOpRdrName CharEqOp
104 ltH_Char_RDR = primOpRdrName CharLtOp
105 eqH_Word_RDR = primOpRdrName WordEqOp
106 ltH_Word_RDR = primOpRdrName WordLtOp
107 eqH_Addr_RDR = primOpRdrName AddrEqOp
108 ltH_Addr_RDR = primOpRdrName AddrLtOp
109 eqH_Float_RDR = primOpRdrName FloatEqOp
110 ltH_Float_RDR = primOpRdrName FloatLtOp
111 eqH_Double_RDR = primOpRdrName DoubleEqOp
112 ltH_Double_RDR = primOpRdrName DoubleLtOp
113 eqH_Int_RDR = primOpRdrName IntEqOp
114 ltH_Int_RDR = primOpRdrName IntLtOp
115 geH_RDR = primOpRdrName IntGeOp
116 leH_RDR = primOpRdrName IntLeOp
117 minusH_RDR = primOpRdrName IntSubOp
119 tagToEnumH_RDR = primOpRdrName TagToEnumOp
123 %************************************************************************
125 \subsection{Built-in keys}
127 %************************************************************************
129 ToDo: make it do the ``like'' part properly (as in 0.26 and before).
132 maybeCharLikeCon, maybeIntLikeCon :: DataCon -> Bool
133 maybeCharLikeCon con = con `hasKey` charDataConKey
134 maybeIntLikeCon con = con `hasKey` intDataConKey
138 %************************************************************************
140 \subsection{Class predicates}
142 %************************************************************************
145 isCcallishClass, isCreturnableClass, isNoDictClass,
146 isNumericClass, isStandardClass :: Class -> Bool
148 isNumericClass clas = classKey clas `is_elem` numericClassKeys
149 isStandardClass clas = classKey clas `is_elem` standardClassKeys
150 isCcallishClass clas = classKey clas `is_elem` cCallishClassKeys
151 isCreturnableClass clas = classKey clas == cReturnableClassKey
152 isNoDictClass clas = classKey clas `is_elem` noDictClassKeys
153 is_elem = isIn "is_X_Class"