Changes between Version 241 and Version 242 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Apr 30, 2012 4:36:26 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v241 v242  
    44 * #5934: Bad substitution for flatten skolem
    55 * #5913, #5751: type-class dictionary loops
    6  * #5321, #5837, #5853 (loop), #5970, #3064, #3108: slow constraint solving
     6 * #5642, #5321, #5837, #5853 (loop), #5970, #3064, #3108: slow constraint solving
    77 * #5612, #5682: !PolyKinds
    88 * #4347, #4295: impredicativity