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


Ignore:
Timestamp:
Dec 20, 2012 1:50:54 PM (3 years 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