-
chak@cse.unsw.edu.au. authored
* 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.
a003ad80