diff options
Diffstat (limited to 'compiler/GHC/Tc/Gen/Pat.hs')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Pat.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Gen/Pat.hs b/compiler/GHC/Tc/Gen/Pat.hs index 104656dd9e..2480835729 100644 --- a/compiler/GHC/Tc/Gen/Pat.hs +++ b/compiler/GHC/Tc/Gen/Pat.hs @@ -453,7 +453,7 @@ tc_pat pat_ty penv ps_pat thing_inside = case ps_pat of -- Lists, tuples, arrays ListPat Nothing pats -> do { (coi, elt_ty) <- matchExpectedPatTy matchExpectedListTy penv pat_ty - ; (pats', res) <- tcMultiple (\p -> tc_lpat (mkCheckExpType elt_ty) p) + ; (pats', res) <- tcMultiple (tc_lpat $ mkCheckExpType elt_ty) penv pats thing_inside ; pat_ty <- readExpType pat_ty ; return (mkHsWrapPat coi @@ -466,7 +466,7 @@ tc_pat pat_ty penv ps_pat thing_inside = case ps_pat of <- tcSyntaxOpGen ListOrigin e [SynType (mkCheckExpType tau_pat_ty)] SynList $ \ [elt_ty] -> - do { (pats', res) <- tcMultiple (\p -> tc_lpat (mkCheckExpType elt_ty) p) + do { (pats', res) <- tcMultiple (tc_lpat $ mkCheckExpType elt_ty) penv pats thing_inside ; return (pats', res, elt_ty) } ; return (ListPat (ListPatTc elt_ty (Just (tau_pat_ty,e'))) pats', res) |