X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2FsimplCore%2FSimplUtils.lhs;h=63a3c89036ae30513e6964889c67771ed364a42e;hb=9003a18c4efa4548ae80709aef9963f7b544ded3;hp=aeaa760d594b92ad5c700b083be2d2c12ed94ac7;hpb=7f9f2f0a0b571a3fd55af7c85d662d08c5b3f0e3;p=ghc-hetmet.git

diff --git a/ghc/compiler/simplCore/SimplUtils.lhs b/ghc/compiler/simplCore/SimplUtils.lhs
index aeaa760..63a3c89 100644
--- a/ghc/compiler/simplCore/SimplUtils.lhs
+++ b/ghc/compiler/simplCore/SimplUtils.lhs
@@ -42,7 +42,7 @@ import Type		( Type, seqType, splitFunTys, dropForAlls, isStrictType,
 import TcType		( isDictTy )
 import OccName		( EncodedFS )
 import TyCon		( tyConDataCons_maybe, isAlgTyCon, isNewTyCon )
-import DataCon		( dataConRepArity, dataConSig, dataConArgTys )
+import DataCon		( dataConRepArity, dataConExistentialTyVars, dataConArgTys )
 import Var		( mkSysTyVar, tyVarKind )
 import Util		( lengthExceeds, mapAccumL )
 import Outputable
@@ -885,7 +885,7 @@ mk_args missing_con inst_tys
   = getUniquesSmpl 		`thenSmpl` \ tv_uniqs ->
     getUniquesSmpl 		`thenSmpl` \ id_uniqs ->
     let
-	(_,_,ex_tyvars,_,_,_) = dataConSig missing_con
+	ex_tyvars   = dataConExistentialTyVars missing_con
 	ex_tyvars'  = zipWith mk tv_uniqs ex_tyvars
 	mk uniq tv  = mkSysTyVar uniq (tyVarKind tv)
 	arg_tys     = dataConArgTys missing_con (inst_tys ++ mkTyVarTys ex_tyvars')