Changes between Version 288 and Version 289 of TypeFunctionsStatus


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v288 v289  
    1313 * #1716 (maybe the same problem as #1754) 
    1414 * #1772 
    15  * #1716 (bogus evidence generation with type equalities) 
    1615 * #1769 (deriving typeable for data families) 
    1716