Changes between Version 273 and Version 274 of TypeFunctionsStatus


Ignore:
Timestamp:
Nov 21, 2007 8:47:23 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v273 v274  
    1616 * #1723 (type families & GADTs) [will be fixed when GADTs are implemented by equalities; we'll want to add the test case to the testsuite] 
    1717 * #1716 (bogus evidence generation with type equalities) 
    18  * #1715 (iface problem, which is tricky to reproduce...not anymore, also appears in package ndp) 
    1918 * #1769 (deriving typeable for data families) 
    2019