Changes between Version 285 and Version 286 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 11, 2007 5:53:19 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v285 v286  
    1313 * #1716 (maybe the same problem as #1754) 
    1414 * #1772 
    15  * #1815 (type families & GADTs) 
    1615 * #1722 (type families & GADTs) [look at when GADTs are implemented by equalities] 
    1716 * #1723 (type families & GADTs) [will be fixed when GADTs are implemented by equalities; we'll want to add the test case to the testsuite]