Changes between Version 156 and Version 157 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Oct 21, 2010 11:30:56 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v156 v157  
    123123 * #3731: recursive dictionaries 
    124124 * #3738: don't float `MethodInsts` out of INLINE right hand sides. 
    125  * #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 
     125 * #2256: Incomplete inference when generalising 
    126126 * #2239: Lack of improvement with type functions       Manuel 
    127127 * #700: universals in pattern matching