X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FbasicTypes%2FMkId.lhs;h=741ca5886d1d23cc695488b65ad7dd0516b600ed;hp=7d95266da4b186ad583f9fc138cc00fc3ee4e975;hb=84923cc7de2a93c22a2f72daf9ac863959efae13;hpb=3ded6e65b730c2b5eb9a9519448bbcd905c5d7fa

diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index 7d95266..741ca58 100644
--- a/compiler/basicTypes/MkId.lhs
+++ b/compiler/basicTypes/MkId.lhs
@@ -218,7 +218,7 @@ mkDataConIds wrap_name wkr_name data_con
 		     -- arguments to the universals of the data constructor
 		     -- (crucial when type checking interfaces)
     dict_tys       = mkPredTys theta
-    result_ty_args = map (substTyVar subst) univ_tvs
+    result_ty_args = substTyVars subst univ_tvs
     result_ty      = case tyConFamInst_maybe tycon of
 		         -- ordinary constructor
 		       Nothing            -> mkTyConApp tycon result_ty_args