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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

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