Changes between Version 108 and Version 109 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Mar 19, 2010 12:10:06 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v108 v109  
    8282== New constraint simplifier == 
    8383 * [wiki:TypeFunctionsStatus] 
     84 * #3927: overlap warnings with GADTs 
    8485 * #3851: type family expansion 
    8586 * #3826: equality reasoning failure