Changes between Version 169 and Version 170 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 15, 2010 5:00:36 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v169 v170  
    104104 * #816. #3108: extreme delicacy in solve order, involving fundeps 
    105105 * #1823: refinement 
    106  * #3714: error message if associated family has excess parameters 
     106 
    107107 * #3554: assertion failure 
    108108 * #3330: type checker loops 
     
    134134 * #4175: better GHCi info for type-function instances 
    135135 * #4254: fundeps 
     136 
     137 
     138 
     139 
     140== Types and type inference == 
     141 * #3714: distinguish type parameters from indices 
    136142 * #4259: overlapping type family instances 
    137  
    138  
    139  
    140 == Types and type inference == 
    141143 * #4466: explicit type application 
    142144 * #3490: superclasses and ambiguity