Changes between Version 106 and Version 107 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Feb 22, 2010 8:41:17 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v106 v107  
    8181== New constraint simplifier == 
    8282 * [wiki:TypeFunctionsStatus] 
     83 * #3851: type family expansion 
    8384 * #3826: equality reasoning failure 
    8485 * #3692: bogus error message with constraint after arrow