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


Ignore:
Timestamp:
Jan 14, 2010 9:38:47 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v97 v98  
    8080== New constraint simplifier == 
    8181 * [wiki:TypeFunctionsStatus] 
     82 * #3742: implication constraints and inference 
    8283 * #3731: recursive dictionaries 
    8384 * #3738: don't float `MethodInsts` out of INLINE right hand sides.