Changes between Version 250 and Version 251 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
10/14/07 17:23:30 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v250 v251  
    66 
    77 * #1754 
     8 * #1772 
    89 * #1722 (type families & GADTs) [look at when GADTs are implemented by equalities] 
    910 * #1723 (type families & GADTs) [will be fixed when GADTs are implemented by equalities; we'll want to add the test case to the testsuite]