Changes between Version 121 and Version 122 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 23, 2010 3:38:37 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v121 v122  
    9494 * #3064: performance of constraint simplifier 
    9595 * [wiki:TypeFunctionsStatus] 
    96  * #3927: overlap warnings with GADTs 
     96 * #3927, #4129: overlap warnings with GADTs 
    9797 * #3851: type family expansion 
    9898 * #3826: equality reasoning failure