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


Ignore:
Timestamp:
Dec 16, 2009 11:58:54 AM (6 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 ==