Changes between Version 252 and Version 253 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 10, 2012 8:32:33 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v252 v253  
    88 * #6065: suggested type sig is then rejected 
    99 * #5913, #5751: type-class dictionary loops 
    10  * #5642, #5970: slow constraint solving 
     10 * #5642, #5970, #5030: slow constraint solving 
    1111 
    1212 * #6018: Injective type families (patch offered)