Commit cec9b62f authored by batterseapower's avatar batterseapower
Browse files

Handle introduction of MkCore in MatchCon

parent d0f4ec45
...@@ -25,6 +25,7 @@ import DataCon ...@@ -25,6 +25,7 @@ import DataCon
import TcType import TcType
import Type import Type
import CoreSyn import CoreSyn
import MkCore
import DsMonad import DsMonad
import DsUtils import DsUtils
import Util ( takeList ) import Util ( takeList )
...@@ -124,7 +125,7 @@ matchOneCon vars ty (eqn1 : eqns) -- All eqns for a single constructor ...@@ -124,7 +125,7 @@ matchOneCon vars ty (eqn1 : eqns) -- All eqns for a single constructor
= do { prs <- dsLHsBinds bind = do { prs <- dsLHsBinds bind
; return (wrapBinds (tvs `zip` tvs1) ; return (wrapBinds (tvs `zip` tvs1)
. wrapBinds (ds `zip` dicts1) . wrapBinds (ds `zip` dicts1)
. mkDsLet (Rec prs), . mkCoreLet (Rec prs),
eqn { eqn_pats = conArgPats con1 arg_tys args ++ pats }) } eqn { eqn_pats = conArgPats con1 arg_tys args ++ pats }) }
conArgPats :: DataCon conArgPats :: DataCon
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment