Changes between Version 367 and Version 368 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 27, 2013 8:14:54 AM (8 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v367 v368  
    33== Type inference == 
    44 
    5  * #8020, #8028: Closed type families, apartness checks 
     5 * #8177: role signature for type families 
     6 * #8161: associated type more specific than class decl 
    67 * #7259: Eta-expansion of products in System FC 
    78 * #5682: Parsing of pomoted kinds