X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FdeSugar%2FMatchCon.lhs;h=03fa3256511126cad83ccd43b3c204ee8ca35a8a;hb=a51fe79ebcdcb8285573a18f12cade2101533419;hp=2912e29a6f662aff3c84c15ac423dd15e0e264c9;hpb=54e6de853bd5260389006e75d661877ef1ea951d;p=ghc-hetmet.git

diff --git a/compiler/deSugar/MatchCon.lhs b/compiler/deSugar/MatchCon.lhs
index 2912e29..03fa325 100644
--- a/compiler/deSugar/MatchCon.lhs
+++ b/compiler/deSugar/MatchCon.lhs
@@ -23,9 +23,6 @@ import HsSyn
 import DsBinds
 import DataCon
 import TcType
-import Type
-import CoreSyn
-import MkCore
 import DsMonad
 import DsUtils
 import Util	( all2, takeList, zipEqual )
@@ -141,10 +138,10 @@ matchOneCon vars ty (eqn1 : eqns)	-- All eqns for a single constructor
     shift (_, eqn@(EqnInfo { eqn_pats = ConPatOut{ pat_tvs = tvs, pat_dicts = ds, 
 					           pat_binds = bind, pat_args = args
 					} : pats }))
-      = do { prs <- dsLHsBinds bind
+      = do { ds_ev_binds <- dsTcEvBinds bind
 	   ; return (wrapBinds (tvs `zip` tvs1) 
 		    . wrapBinds (ds  `zip` dicts1)
-		    . mkCoreLet (Rec prs),
+		    . wrapDsEvBinds ds_ev_binds,
 		    eqn { eqn_pats = conArgPats arg_tys args ++ pats }) }
 
     -- Choose the right arg_vars in the right order for this group