Changes between Version 392 and Version 393 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Oct 30, 2013 9:11:11 AM (6 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v392 v393  
    33== Type inference == 
    44 
     5 * #8486, #5682: Parsing of pomoted kinds, and `Typeable` instances involving them 
    56 * #8281: `UnliftedFFITypes` etc 
    67 * #8441: family instances in hs-boot files 
     
    1617 * #8161: associated type more specific than class decl 
    1718 * #7259: Eta-expansion of products in System FC 
    18  * #5682: Parsing of pomoted kinds 
    1919 * #6022: over-general types are inferred 
    2020 * #5642: slow constraint solving