Changes between Version 227 and Version 228 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
03/16/12 08:42:06 (15 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v227 v228  
    33== New typechecker things to fix (with Dimitrios) == 
    44 * #5716, #5612, #5682, #5717, #5768, #5769, #5770, #5771: !PolyKinds 
    5  * #5321: slow constraint solving 
     5 * #5913, #5751: type-class dictionary loops 
     6 * #5321, #5837, #5853 (loop): slow constraint solving 
    67 * #4347, #4295: impredicativity 
    78 * #5320: overlap delicacy