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

Timestamp:

11/27/08 09:55:27 (4 years ago)

Author:

simonpj

Comment:

--

Status/SLPJ-Tickets

@@ -13 +13 @@
  * #149: float-out/CSE  
  * #2078: INLINing improvement; ask Christian.Maeder@dfki.de to see if it improves CASL
- * #2463: mall change makes a big change to inlining (of a record) and performance      
  * #2289, 2387:(a) cheap check at start of case alternatives, (b) nested CPR analysis   
- * #1818: code size regression  Simonmar
- * #2092: Possible quadratic-sized Eq instances. Does it really go quadratic, or does the join-point inlining machinery prevent it?     Simonmar
+ * #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
  * #2255: Improve SpecConstr for free variables 
- * #2374: SAT and MutableByteArray      Max?
+ * #2374: SAT and `MutableByteArray`    Max?
  * #2420: Inlining of class methods infelicity (odd rather than bad)    
 
 == Outright bugs ==
 
- * #2202: Typechecker loop, caused by normalization of equalities.  There’s a related bug from Bryan Donlan in the same ticket.
  * #1870: Panic compiling regex-tdfa-0.93       
  * #1148, 2267, 1074: “Unused import” warnings should be generated from RdrNames        
@@ -31 +28 @@
  * #1241: Lifting the Coverage Condition for functional dependencies isn’t the Right Thing      Manuel
  * #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
- * #2219: GADT refinement fails to refine type variable Manuel
  * #2239: Lack of improvement with type functions       Manuel
  * #1954: Incorrect “defined but not used” msg  
@@ -51 +47 @@
  * #2086: Require bang patterns on unlifted let-bindings        
  * #2600: Bind type variables in RULES  
- * #2595: Record update for existentials        
  * #1930: Infix type operators:  a+b.   
- * #1441: Generate local info for ‘undefined’.  Implicit location parameters in general 
+ * #960: Generate local info for ‘undefined’.  Implicit location parameters in general  
  * #1475: Allow TH to generate import declarations      
  * #2135: Warn when exporting a function whose type mentions a type constructor defined locally but not itself exported