Changes between Version 173 and Version 174 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 15, 2010 5:35:18 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v173 v174  
    100100 * #4296: !SkolemOccurs 
    101101 * #4295: Higher rank and impredicative  
    102  * #4338: superclass equalities 
     102 * #4338, #2102, #2715: superclass equalities 
    103103 * #4310: deferred equalities and forall types (needs Brent's work) 
    104104 * #816. #3108: extreme delicacy in solve order, involving fundeps