Changes between Version 96 and Version 97 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 24, 2009 1:47:47 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v96 v97  
    8080== New constraint simplifier == 
    8181 * [wiki:TypeFunctionsStatus] 
     82 * #3731: recursive dictionaries 
    8283 * #3738: don't float `MethodInsts` out of INLINE right hand sides. 
    8384 * #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