Changes between Version 155 and Version 156 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Oct 21, 2010 11:30:10 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v155 v156  
    9393== New constraint simplifier == 
    9494 * '''#4232: main meta-ticket for the new type checker''' 
     95 * #4296: !SkolemOccurs 
     96 * #4295: Higher rank and impredicative  
     97 * #4338: superclass equalities 
     98 
     99 * #816: extreme delicacy in solve order 
    95100 * #1823: refinement 
    96101 * #3714: error message if associated family has excess parameters 
     
    126131 * #4259: overlapping instances 
    127132 
    128  * #816: needs lazier use of instance declarations 
    129  * #4296: !SkolemOccurs 
    130  * #4295: Higher rank and impredicative  
     133 
    131134 
    132135== Types and type inference ==