Changes between Version 285 and Version 286 of Status/SLPJ-Tickets
- Timestamp:
- 06/13/12 08:55:06 (11 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Status/SLPJ-Tickets
v285 v286 5 5 * #5682: Parsing of pomoted kinds 6 6 * #6022: over-general types are inferred 7 * #5913, #5751, #6117 : type-class dictionary loops (branch `silent-sc-args`)7 * #5913, #5751, #6117, #6161: type-class dictionary loops (branch `silent-sc-args`) 8 8 * #5642, #5970, #5030: slow constraint solving 9 9
