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


Ignore:
Timestamp:
Dec 15, 2010 5:00:36 PM (5 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