Changes between Version 311 and Version 312 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 20, 2012 1:50:54 PM (16 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v311 v312  
    2828 * #6040, #5945, #3458, #1216: lambda-lift functions with a few args, just before code gen 
    2929 * #3872, #5400, #5448, #5722, #7057, #7369: contravariant data type loop in simplifier inliner 
    30  * #5623, #5954: performance regression. Duplication of primops? 
     30 * #5954: performance regression. Duplication of primops? 
    3131 * #6070, #5949, #5775, #4267, #5302, #6087: Demand analysis 
    3232 * #5075, #3138: CPR for sum types (mostly done, needs finishing) 
     
    151151== Features ==  
    152152 * #5462: deriving for arbitrary classes 
    153  * #6032: discussion about when foralls can be to the right of an arrow. 
    154153 * #6024: allow defining a ''kind'' without also getting the corresponding ''type'' 
    155154 * #5927: Constraints with universal quantification 
     
    160159 * #5144: pattern synonyms 
    161160 * #5073: `blockST` and friends 
    162  * #788, #2895: Class aliases  
     161 * #2895: Class aliases  
    163162 * #2595: record updates 
    164163 * #4823: strength reduction for array indexing 
    165164 * #4479: type directed name resolution (TDNR) 
    166165 * #4426: simpler rule for implicit quantification 
    167  * #4359: lambda case 
    168  * #4148: improvements to mdo syntax 
    169166 * #595, #5728, #3927, #5724, #5762, #4139, #6124: '''pattern-match overlap checking''', including with GADTs 
    170167 * #3701: Implicitly declared existentials: a class as a type