Commit c10975a1 authored by simonpj's avatar simonpj

[project @ 2002-09-11 10:14:53 by simonpj]

Yet another correction to earlier commit..
*now* those rank-2 pattern matches should work

parent 78905bdb
......@@ -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,
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