Changes between Version 234 and Version 235 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Apr 5, 2012 1:50:05 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v234 v235  
    44 * #5934: Bad substitution for flatten skolem 
    55 * #5913, #5751: type-class dictionary loops 
    6  * #5321, #5837, #5853 (loop), #5970, #3064: slow constraint solving 
     6 * #5321, #5837, #5853 (loop), #5970, #3064, #3108: slow constraint solving 
    77 * #5716, #5612, #5682, #5717, #5768, #5769, #5770, #5771: !PolyKinds 
    88 * #4347, #4295: impredicativity