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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v277 v278  
    22 
    33== Type inference == 
    4  * #6093: polymorphic recursion at the kind level 
    54 * #5591: add left/right back to coercions 
    65 * #5682: Parsing of pomoted kinds