From c10975a19302488acbcc1c2699c9caec148ba670 Mon Sep 17 00:00:00 2001 From: simonpj Date: Wed, 11 Sep 2002 10:14:53 +0000 Subject: [PATCH] [project @ 2002-09-11 10:14:53 by simonpj] Yet another correction to earlier commit.. *now* those rank-2 pattern matches should work MERGE TO STABLE --- ghc/compiler/typecheck/TcPat.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs index 3cb59a9..743a968 100644 --- a/ghc/compiler/typecheck/TcPat.lhs +++ b/ghc/compiler/typecheck/TcPat.lhs @@ -240,7 +240,7 @@ tcPat tc_bndr pat@(RecPatIn name rpats) pat_ty -- Check the fields tc_fields field_tys rpats `thenTc` \ (rpats', lie_req3, tvs, ids, lie_avail2) -> - returnTc (RecPat data_con con_res_ty ex_tvs ex_dicts rpats', + returnTc (co_fn <$> RecPat data_con con_res_ty ex_tvs ex_dicts rpats', lie_req1 `plusLIE` lie_req2 `plusLIE` lie_req3, listToBag ex_tvs `unionBags` tvs, ids, -- 1.7.10.4