import TypeRep ( funTyCon )
import Type ( Type )
import TysPrim
-import TysWiredIn ( unitTyCon, tupleTyCon, intTyCon, intTyConName )
+import TysWiredIn ( unitTyCon, tupleTyCon,
+ intTyCon, intTyConName,
+ boolTyCon, boolTyConName )
import Module
import BasicTypes ( Boxity(..) )
: [(tyConName tc, tc) | tc <- defaultTyCons]
defaultTyCons :: [TyCon]
-defaultTyCons = [intTyCon]
+defaultTyCons = [intTyCon, boolTyCon]
initBuiltinDicts :: [(Name, Module, FastString)] -> DsM [(Name, Var)]
initBuiltinDicts ps
, mk unitTyConName nDP_INSTANCES FSLIT("dPA_Unit")
, mk intTyConName nDP_INSTANCES FSLIT("dPA_Int")
+ , mk boolTyConName nDP_INSTANCES FSLIT("dPA_Bool")
]
++ tups
where