Changes between Version 286 and Version 287 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 11, 2007 6:32:37 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

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