Changes between Version 195 and Version 196 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 3, 2011 4:49:56 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v195 v196  
    66 * #4310: deferred equalities and forall types (needs Brent's work)
    77 * #5320: overlap delicacy
    8 
    98
    109=== Arity ===
     
    2120=== Inlining ===
    2221 * #4833: finding the right loop breaker
    23  * #4227: SPECIALISE pragmas for functions in other modules
    2422 * #3781, #3755: inlining for local functions: discount for scrutinising free vars
    2523 * #3765: CONLIKE things and case expressions (need two unfoldings)
    26  * #3526: Inliner behaviour confusing (waiting on Bryan)
    2724 * #3073 and [wiki:Commentary/Compiler/DesugaringInstances]: better desugaring for instances
    2825 * #2396: default class method not inlined
    29  * #2354: NOINLINE pragma ignored
    3026 * #2078: INLINing improvement; ask [email protected] to see if it improves CASL
    3127 * #2840: top level unlifted string literals
     
    4339 * #2731: avoiding unnecessary evaluation when unpacking constructors
    4440 * #3940: propagate fix
    45  * #3969: bad code for tight loop
    46  * #4090: failed `getRegister` in asm codegen
    4741
    48 === Other performance ===
     42=== Optimiser ===
     43 * #5262: seq magic
    4944 * #605: strict/unboxed enumerations
    5045 * #2607: space leak: inlining defeats selector thunk optimisation
     
    6156
    6257=== Compiler performance ===
    63  * #1969: quadratic behaviour in the specialiser
    6458 * #2346: desugaring let-bindings
    6559 * Use wildcards for dead variables in interface files.
     
    10296 * #1897: '''Ambiguity: don't infer a type that can't be checked if the type is given as a signature''' (this one is important).  See SPJ's mailbox: Haskell type system/Ambiguity.
    10397 * #2641: revise what `-XExtendedDefaultRules` does
    104  * #1634: deep skolemisation; also this one #3592
    105  * #3018: be lazier about solving class instances
     98 * #3592: deep skolemisation
    10699 * #2357: '''Implement the Haskell Prime proposal for polymorphic pattern bindings'''
    107100
     
    109102 * #4921: ambiguous type variables
    110103 * #1330: another bad error message (Church2)
    111  * #3169: better occurs-check error message
    112104 * #2648: Report out of date interface files robustly   
    113105 * #2588: Better error message about ‘forall’   
     
    143135 * #3843: Add plugins
    144136 * #3701: Implicitly declared existentials: a class as a type
    145  * #3480: '''Fingerprints in `TypeRep`'''
    146137 * #3217: better flag handling for GHCi
    147138 * #2600, #2110: '''Bind type variables and constraints in RULES'''