Changes between Version 259 and Version 260 of TypeFunctionsStatus


Ignore:
Timestamp:
Nov 5, 2007 2:19:31 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v259 v260  
    1010 * #1716 (maybe the same problem as #1754) 
    1111 * #1772 
     12 * #1815 (type families & GADTs) 
    1213 * #1722 (type families & GADTs) [look at when GADTs are implemented by equalities] 
    1314 * #1723 (type families & GADTs) [will be fixed when GADTs are implemented by equalities; we'll want to add the test case to the testsuite]