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


Ignore:
Timestamp:
Jun 6, 2012 8:02:00 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v278 v279  
    44 * #5591: add left/right back to coercions 
    55 * #5682: Parsing of pomoted kinds 
    6  * #6068: fundeps and polykinds 
    76 * #6049, #6093: GADTs and polykinds 
    87 * #6022: over-general types are inferred