Changes between Version 254 and Version 255 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 16, 2007 3:40:43 PM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v254 v255  
    1111 * #1722 (type families & GADTs) [look at when GADTs are implemented by equalities]
    1212 * #1723 (type families & GADTs) [will be fixed when GADTs are implemented by equalities; we'll want to add the test case to the testsuite]
     13 * #1716 (bogus evidence generation with type equalities)
    1314 * #1715 (iface problem, which is tricky to reproduce)
    1415 * #1769 (deriving typeable for data families)