From: Max Bolingbroke Date: Thu, 31 Jul 2008 01:23:41 +0000 (+0000) Subject: Handle introduction of MkCore in Match X-Git-Tag: 2008-09-12~303 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=d0f4ec45fdae7aa9d37f178746fa17babc5d5134;p=ghc-hetmet.git Handle introduction of MkCore in Match --- diff --git a/compiler/deSugar/Match.lhs b/compiler/deSugar/Match.lhs index 375dec6..a28eb84 100644 --- a/compiler/deSugar/Match.lhs +++ b/compiler/deSugar/Match.lhs @@ -26,6 +26,7 @@ import Check import CoreSyn import Literal import CoreUtils +import MkCore import DsMonad import DsBinds import DsGRHSs @@ -462,7 +463,7 @@ tidy1 v (VarPat var) tidy1 v (VarPatOut var binds) = do { prs <- dsLHsBinds binds - ; return (wrapBind var v . mkDsLet (Rec prs), + ; return (wrapBind var v . mkCoreLet (Rec prs), WildPat (idType var)) } -- case v of { x@p -> mr[] } @@ -485,7 +486,7 @@ tidy1 v (AsPat (L _ var) pat) tidy1 v (LazyPat pat) = do { sel_prs <- mkSelectorBinds pat (Var v) ; let sel_binds = [NonRec b rhs | (b,rhs) <- sel_prs] - ; return (mkDsLets sel_binds, WildPat (idType v)) } + ; return (mkCoreLets sel_binds, WildPat (idType v)) } tidy1 _ (ListPat pats ty) = return (idDsWrapper, unLoc list_ConPat)