X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Fiface%2FTcIface.lhs;h=051ec04737a33c4e8c613e872f07b48b79ae9cdc;hb=9621257fcd85a572a5c305b77995bda62689bb86;hp=94e0dcb838ee5b53e83a75f54259cac17d4f50ff;hpb=8912a05e1bcc30c7e8e5e017d9cf10176076f141;p=ghc-hetmet.git

diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs
index 94e0dcb..051ec04 100644
--- a/compiler/iface/TcIface.lhs
+++ b/compiler/iface/TcIface.lhs
@@ -35,7 +35,7 @@ import HscTypes		( ExternalPackageState(..),
 			  emptyModDetails, lookupTypeEnv, lookupType, typeEnvIds )
 import InstEnv		( Instance(..), mkImportedInstance )
 import CoreSyn
-import CoreUtils	( exprType, dataConInstPat )
+import CoreUtils	( exprType, dataConOccInstPat )
 import CoreUnfold
 import CoreLint		( lintUnfolding )
 import WorkWrap		( mkWrapper )
@@ -680,7 +680,7 @@ tcIfaceAlt (tycon, inst_tys) (IfaceTupleAlt boxity, arg_occs, rhs)
 tcIfaceDataAlt con inst_tys arg_strs rhs
   = do	{ us <- newUniqueSupply
 	; let uniqs = uniqsFromSupply us
-	; let	(ex_tvs, co_tvs, arg_ids) = dataConInstPat uniqs con inst_tys
+	; let	(ex_tvs, co_tvs, arg_ids) = dataConOccInstPat uniqs arg_occs con inst_tys
                 all_tvs                   = ex_tvs ++ co_tvs
 
 	; rhs' <- extendIfaceTyVarEnv all_tvs	$