Changes between Version 233 and Version 234 of TypeFunctionsStatus

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

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v233 v234  
    77 * #1737 (is this related to the other optimisation-related problems with cast?) 
    88 * #1715 
    9  * #1730 (type synonym families) 
    109 * #1738 (GADTs with equalities) 
    1110 * #1722 (type families & GADTs) [look at when GADTs are implemented by equalities]