Changes between Version 231 and Version 232 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
09/29/07 05:29:27 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v231 v232  
    77 * #1737 (is this related to the other optimisation-related problems with cast?) 
    88 * #1715 
    9  * #1729 (type synonym families) 
    109 * #1730 (type synonym families) 
    1110 * #1738 (GADTs with equalities)