X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fvectorise%2FVectType.hs;h=9952121eae07f5cd92806ed88507e0895dcb8392;hb=bee06bad431d372bd862b5c6e921d8fc87eaffc9;hp=b4b3c43b2d231c964120eb469abeb71b462e1846;hpb=7e8cba32c6f045dde3db8a9ddc9831ec8ab4ed43;p=ghc-hetmet.git

diff --git a/compiler/vectorise/VectType.hs b/compiler/vectorise/VectType.hs
index b4b3c43..9952121 100644
--- a/compiler/vectorise/VectType.hs
+++ b/compiler/vectorise/VectType.hs
@@ -203,7 +203,8 @@ vectDataCon dc
                             []              -- no existential tvs for now
                             []              -- no eq spec for now
                             []              -- no context
-                            arg_tys
+                            arg_tys 
+			    (mkFamilyTyConApp tycon' (mkTyVarTys univ_tvs))
                             tycon'
   where
     name        = dataConName dc
@@ -826,16 +827,18 @@ buildPArrayDataCon orig_name vect_tc repr_tc
       repr_tys  <- arrReprTys  repr
 
       let tys = shape_tys ++ repr_tys
+	  tvs = tyConTyVars vect_tc
 
       liftDs $ buildDataCon dc_name
                             False                  -- not infix
                             (map (const NotMarkedStrict) tys)
                             []                     -- no field labels
-                            (tyConTyVars vect_tc)
+                            tvs
                             []                     -- no existentials
                             []                     -- no eq spec
                             []                     -- no context
                             tys
+			    (mkFamilyTyConApp repr_tc (mkTyVarTys tvs))
                             repr_tc
 
 mkPADFun :: TyCon -> VM Var