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

Show
Ignore:
Timestamp:
05/21/12 10:02:46 (13 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v270 v271  
    88 * #6022: over-general types are inferred 
    99 * #6065: suggested type sig is then rejected 
    10  * #5913, #5751: type-class dictionary loops 
     10 * #5913, #5751, #6117: type-class dictionary loops 
    1111 * #5642, #5970, #5030: slow constraint solving 
    1212