From: simonpj <unknown>
Date: Mon, 9 Sep 2002 13:48:35 +0000 (+0000)
Subject: [project @ 2002-09-09 13:48:35 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~1696
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=e94c2e25c29caa047e7987eb8a51251c65451ec0;p=ghc-hetmet.git

[project @ 2002-09-09 13:48:35 by simonpj]
Correction to earlier commit.. *now* those rank-2 pattern matches should work

		MERGE TO STABLE
---

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index 291d854..a7846d4 100644
--- a/ghc/compiler/typecheck/TcPat.lhs
+++ b/ghc/compiler/typecheck/TcPat.lhs
@@ -422,7 +422,7 @@ tcConPat tc_bndr pat con_name arg_pats pat_ty
 	-- Check arguments
     tcPats tc_bndr arg_pats arg_tys	`thenTc` \ (arg_pats', lie_req3, tvs, ids, lie_avail2) ->
 
-    returnTc (co_fn <$> ConPat data_con pat_ty ex_tvs ex_dicts arg_pats',
+    returnTc (co_fn <$> ConPat data_con con_res_ty ex_tvs ex_dicts arg_pats',
 	      lie_req1 `plusLIE` lie_req2 `plusLIE` lie_req3,
 	      listToBag ex_tvs `unionBags` tvs,
 	      ids,