Changes between Version 287 and Version 288 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 11, 2007 7:25:34 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

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