Changes between Version 300 and Version 301 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Oct 5, 2012 11:04:08 AM (19 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v300 v301  
    118118 * #6065: GHC suggests a type signature that it then rejects 
    119119 * #5320, #7296: overlap delicacy 
    120  * #4347, #4295: impredicativity 
     120 * #4347, #4295, #7264: impredicativity 
    121121 * #1965: make existentials have a really cheap implementation 
    122122 * #5224: make it cheaper to check for inconsistent type family instances