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'''