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


Ignore:
Timestamp:
Nov 27, 2008 5:55:27 PM (7 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 [email protected] 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