Changes between Version 230 and Version 231 of TypeFunctionsStatus

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

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v230 v231  
    77 * #1737 (is this related to the other optimisation-related problems with cast?) 
    88 * #1715 
    9  * #1722 (type families & GADTs) 
    10  * #1723 (type families & GADTs) [will be fixed when GADTs are implemented by equalities; we'll want to add the test case to the testsuite] 
    119 * #1729 (type synonym families) 
    1210 * #1730 (type synonym families) 
    1311 * #1738 (GADTs with equalities) 
     12 * #1722 (type families & GADTs) [look at when GADTs are implemented by equalities] 
     13 * #1723 (type families & GADTs) [will be fixed when GADTs are implemented by equalities; we'll want to add the test case to the testsuite] 
    1414 * #1746 (GADT panic on a cast when optimising) 
    1515