Changes between Version 269 and Version 270 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 15, 2012 8:29:57 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v269 v270  
    22 
    33== Type inference == 
    4  * #5682, #6015: !PolyKinds 
     4 * #6093: polymorphic recursion at the kind level 
     5 * #5682: Parsing of pomoted kinds 
    56 * #6068: fundeps and polykinds 
    67 * #6049: GADTs and polykinds