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 ==