Changes between Version 271 and Version 272 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 24, 2012 8:45:58 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v271 v272  
    55 * #5682: Parsing of pomoted kinds 
    66 * #6068: fundeps and polykinds 
    7  * #6049: GADTs and polykinds 
     7 * #6049, #6093: GADTs and polykinds 
    88 * #6022: over-general types are inferred 
    99 * #6065: suggested type sig is then rejected