diff options
| author | simonpj <unknown> | 2002-09-11 10:14:53 +0000 |
|---|---|---|
| committer | simonpj <unknown> | 2002-09-11 10:14:53 +0000 |
| commit | c10975a19302488acbcc1c2699c9caec148ba670 (patch) | |
| tree | 7d6187540870d59452bcf4560f5ca73acf2d17f6 | |
| parent | 78905bdb31b67c7bae174374f577c0e0b40aa508 (diff) | |
| download | haskell-c10975a19302488acbcc1c2699c9caec148ba670.tar.gz | |
[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
| -rw-r--r-- | ghc/compiler/typecheck/TcPat.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs index 3cb59a9653..743a968adc 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, |