Changes between Version 193 and Version 194 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 2, 2011 2:50:57 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v193 v194  
    9393 
    9494== Types and type inference == 
     95 * #4466, #5296: explicit type application 
    9596 * #3714: distinguish type parameters from indices 
    9697 * #4259: overlapping type family instances 
    97  * #4466: explicit type application 
    9898 * #3490: superclasses and ambiguity 
    9999 * #3632: better update for records with existentials