Major patch to introduce TyConBinder
[ghc.git] / compiler / vectorise / Vectorise / Generic / PData.hs
index 23cd0a2..9fbe128 100644 (file)
@@ -51,9 +51,8 @@ buildDataFamInst name' fam_tc vect_tc rhs
             rep_ty   = mkTyConApp rep_tc tys'
             pat_tys  = [mkTyConApp vect_tc tys']
             rep_tc   = mkAlgTyCon name'
-                           (mkTyBindersPreferAnon tyvars' liftedTypeKind)
+                           (mkTyConBindersPreferAnon tyvars' liftedTypeKind)
                            liftedTypeKind
-                           tyvars'
                            (map (const Nominal) tyvars')
                            Nothing
                            []          -- no stupid theta
@@ -85,7 +84,7 @@ buildPDataDataCon orig_name vect_tc repr_tc repr
                             (map (const no_bang) comp_tys)
                             (Just $ map (const HsLazy) comp_tys)
                             []                     -- no field labels
-                            tvs (map (mkNamedBinder . mkTyVarBinder Specified) tvs)
+                            (mkTyVarBinders Specified tvs)
                             []                     -- no existentials
                             []                     -- no eq spec
                             []                     -- no context
@@ -129,7 +128,7 @@ buildPDatasDataCon orig_name vect_tc repr_tc repr
                             (map (const no_bang) comp_tys)
                             (Just $ map (const HsLazy) comp_tys)
                             []                     -- no field labels
-                            tvs (map (mkNamedBinder . mkTyVarBinder Specified) tvs)
+                            (mkTyVarBinders Specified tvs)
                             []                     -- no existentials
                             []                     -- no eq spec
                             []                     -- no context