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