• chak@cse.unsw.edu.au.'s avatar
    TcPat.tcConPat uses equalities instead of GADT refinement · a003ad80
    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
TcPat.lhs 41.7 KB