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


Ignore:
Timestamp:
Aug 27, 2013 12:20:26 PM (8 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v368 v369  
    44 
    55 * #8177: role signature for type families 
     6 * #8155: defaulting with type families... bad error message 
    67 * #8161: associated type more specific than class decl 
    78 * #7259: Eta-expansion of products in System FC