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


Ignore:
Timestamp:
Jun 7, 2012 11:29:43 AM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v279 v280  
    44 * #5591: add left/right back to coercions 
    55 * #5682: Parsing of pomoted kinds 
    6  * #6049, #6093: GADTs and polykinds 
     6 * #6049, #6093, #6137: GADTs and polykinds 
    77 * #6022: over-general types are inferred 
    88 * #6065: suggested type sig is then rejected