Changes between Version 2 and Version 3 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Nov 27, 2008 5:55:27 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v2 v3  
    1313 * #149: float-out/CSE   
    1414 * #2078: INLINing improvement; ask Christian.Maeder@dfki.de to see if it improves CASL 
    15  * #2463: mall change makes a big change to inlining (of a record) and performance       
    1615 * #2289, 2387:(a) cheap check at start of case alternatives, (b) nested CPR analysis    
    17  * #1818: code size regression  Simonmar 
    18  * #2092: Possible quadratic-sized Eq instances. Does it really go quadratic, or does the join-point inlining machinery prevent it?     Simonmar 
     16 * #2092: Possible quadratic-sized Eq instances. Does it really go quadratic, or does the join-point inlining machinery prevent it?  Still to check: delicacy wrt case-of-case 
    1917 * #2255: Improve SpecConstr for free variables  
    20  * #2374: SAT and MutableByteArray      Max? 
     18 * #2374: SAT and `MutableByteArray`    Max? 
    2119 * #2420: Inlining of class methods infelicity (odd rather than bad)     
    2220 
    2321== Outright bugs == 
    2422 
    25  * #2202: Typechecker loop, caused by normalization of equalities.  There’s a related bug from Bryan Donlan in the same ticket. 
    2623 * #1870: Panic compiling regex-tdfa-0.93        
    2724 * #1148, 2267, 1074: “Unused import” warnings should be generated from RdrNames         
     
    3128 * #1241: Lifting the Coverage Condition for functional dependencies isn’t the Right Thing      Manuel 
    3229 * #2256: Incomplete inference due to lack of quantification over implication constraints.  Also, see “BUG WARNING” in `TcSimplify` line 717 or thereabouts.  `fdPredsOfInsts` is returning preds that mention quantified variables, which is quite wrong       Manuel 
    33  * #2219: GADT refinement fails to refine type variable Manuel 
    3430 * #2239: Lack of improvement with type functions       Manuel 
    3531 * #1954: Incorrect “defined but not used” msg   
     
    5147 * #2086: Require bang patterns on unlifted let-bindings         
    5248 * #2600: Bind type variables in RULES   
    53  * #2595: Record update for existentials         
    5449 * #1930: Infix type operators:  a+b.    
    55  * #1441: Generate local info for ‘undefined’.  Implicit location parameters in general  
     50 * #960: Generate local info for ‘undefined’.  Implicit location parameters in general   
    5651 * #1475: Allow TH to generate import declarations       
    5752 * #2135: Warn when exporting a function whose type mentions a type constructor defined locally but not itself exported