Changes between Version 325 and Version 326 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 11, 2013 9:53:58 AM (15 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v325 v326  
    117117 * [wiki:TypeFunctionsStatus] 
    118118 * #7503: Kind polymorphism and mutual recursion 
    119  * #6018: Injective type families (patch offered) 
     119 * #6018, #4259: Injective type families and type family overlap 
    120120 * #7259: Eta-expansion of products in System FC * #4296: !SkolemOccurs 
    121121 * #816. #3108: extreme delicacy in solve order, involving fundeps