-builtinPAs :: [(Name, Module, FastString)]
-builtinPAs = [
- mk closureTyConName nDP_CLOSURE FSLIT("dPA_Clo")
- , mk unitTyConName nDP_INSTANCES FSLIT("dPA_Unit")
+builtinPAs :: Builtins -> [(Name, Module, FastString)]
+builtinPAs bi
+ = [
+ mk closureTyConName nDP_CLOSURE FSLIT("dPA_Clo")
+ , mk (tyConName $ voidTyCon bi) nDP_REPR FSLIT("dPA_Void")
+ , mk unitTyConName nDP_INSTANCES FSLIT("dPA_Unit")