Changes between Version 213 and Version 214 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
12/29/11 00:26:57 (17 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v213 v214  
    33== New typechecker things to fix (with Dimitrios) == 
    44 * #5321: slow constraint solving 
    5  * #4347: rigid type signatures for impredicativity 
     5 * #4347, #4295: impredicativity 
    66 * #5320: overlap delicacy 
    77 
    … …  
    7777 * [wiki:TypeFunctionsStatus] 
    7878 * #4296: !SkolemOccurs 
    79  * #4295: Higher rank and impredicative  
    8079 * #816. #3108: extreme delicacy in solve order, involving fundeps 
    8180 * #3927: overlap warnings with GADTs