Changes between Version 403 and Version 404 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Feb 20, 2014 12:22:11 PM (15 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v403 v404  
    168168 * #6065: GHC suggests a type signature that it then rejects 
    169169 * #5320, #7296: overlap delicacy 
    170  * #4347, #4295, #7264: impredicativity 
     170 * #4347, #4295, #7264, #8808: impredicativity 
    171171 * #1965: make existentials have a really cheap implementation 
    172172 * #5224: make it cheaper to check for inconsistent type family instances