diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2007-11-20 07:12:08 +0000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2007-11-20 07:12:08 +0000 |
| commit | a003ad80d59f8da861d874f7314b68c20e1afd67 (patch) | |
| tree | dd1ffb49e447a05e3c36d19df932d67e879e45c0 /compiler/typecheck/TcTyFuns.lhs | |
| parent | 90cc2d2bbe13e3421977013cdfa49630c4817f88 (diff) | |
| download | haskell-a003ad80d59f8da861d874f7314b68c20e1afd67.tar.gz | |
TcPat.tcConPat uses equalities instead of GADT refinement
* This patch implements the use of equality constraints instead of GADT
refinements that we have been discussing for a while.
* It just changes TcPat.tcConPat. It doesn't have any of the simplification
and dead code removal that is possible due to this change.
* At the moment, this patch breaks a fair number of GADT regression tests.
Diffstat (limited to 'compiler/typecheck/TcTyFuns.lhs')
0 files changed, 0 insertions, 0 deletions