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


Ignore:
Timestamp:
May 2, 2012 11:05:38 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v242 v243  
    44 * #5934: Bad substitution for flatten skolem 
    55 * #5913, #5751: type-class dictionary loops 
    6  * #5642, #5321, #5837, #5853 (loop), #5970, #3064, #3108: slow constraint solving 
    7  * #5612, #5682: !PolyKinds 
    8  * #4347, #4295: impredicativity 
    9  * #5320: overlap delicacy 
     6 * #5642, #5970: slow constraint solving 
     7 * #5612, #5682, #6015: !PolyKinds 
    108 * #5939, #5936: Pedro's generics 
    119 
     
    9088 
    9189== Types and type inference == 
     90 * #5320: overlap delicacy 
     91 * #4347, #4295: impredicativity 
    9292 * #5267, #5609, #5777, #344: bugs in arrows; awaiting refactoring by Dan 
    9393 * #1965: make existentials have a really cheap implementation