Changes between Version 282 and Version 283 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 7, 2012 9:46:50 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v282 v283  
    44 * #5591: add left/right back to coercions 
    55 * #5682: Parsing of pomoted kinds 
    6  * #6049, #6093, #6137: GADTs and polykinds 
    76 * #6022: over-general types are inferred 
    8  * #6065: suggested type sig is then rejected 
    9  * #5913, #5751, #6117: type-class dictionary loops 
     7 * #5913, #5751, #6117: type-class dictionary loops (branch `silent-sc-args`) 
    108 * #5642, #5970, #5030: slow constraint solving 
    119