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


Ignore:
Timestamp:
Jan 15, 2010 2:33:38 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v98 v99  
    8080== New constraint simplifier ==
    8181 * [wiki:TypeFunctionsStatus]
     82 * #3692: bogus error message with constraint after arrow
    8283 * #3742: implication constraints and inference
    8384 * #3731: recursive dictionaries