Changes between Version 276 and Version 277 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 6, 2012 8:01:13 AM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v276 v277  
    33== Type inference == 
    44 * #6093: polymorphic recursion at the kind level 
     5 * #5591: add left/right back to coercions 
    56 * #5682: Parsing of pomoted kinds 
    67 * #6068: fundeps and polykinds