Changes between Version 86 and Version 87 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 16, 2009 11:58:54 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v86 v87  
    7676 * #1148, #2267, #1074, #2436, #1792, (related #3082): “Unused import” warnings should be generated from `RdrNames`      
    7777 * #2182: GHCi session retains instance after removing a module from scope       
    78  * #2152: Bogus inlining of foregn import.  Arises from seeing through a NOINLINE in `exprIsConApp_maybe`        
    7978 * #1241: Lifting the Coverage Condition for functional dependencies isn’t the Right Thing      Manuel 
    80  * #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 
    81  * #2239: Lack of improvement with type functions       Manuel 
    8279 * #1954: Incorrect “defined but not used” msg   
    8380 
     
    8683 * [wiki:TypeFunctionsStatus] 
    8784 * #3738: don't float `MethodInsts` out of INLINE right hand sides. 
     85 * #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 
     86 * #2239: Lack of improvement with type functions       Manuel 
     87 * #700: universals in pattern matching 
    8888 
    8989== Types and type inference ==