Changes between Version 206 and Version 207 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Nov 1, 2011 5:09:57 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v206 v207  
    44 * #5321: slow constraint solving 
    55 * #4347: rigid type signatures for impredicativity 
    6  * #4310: deferred equalities and forall types (needs Brent's work)  
     6 * #4310, #5595: deferred equalities and forall types (needs Brent's work)  
    77 * #5320: overlap delicacy 
    88