Changes between Version 398 and Version 399 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 10, 2014 2:27:56 PM (16 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v398 v399  
    169169 * #1965: make existentials have a really cheap implementation 
    170170 * #5224: make it cheaper to check for inconsistent type family instances 
    171  * #4466, #5296: explicit type application 
     171 * #4466, #5296, #8631: explicit type application 
    172172 * #3714: distinguish type parameters from indices 
    173173 * #4259: overlapping type family instances