Changes between Version 255 and Version 256 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 18, 2007 2:52:05 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v255 v256  
    88 * #1775 
    99 * #1754 
     10 * #1716 (maybe the same problem as #1754) 
    1011 * #1772 
    1112 * #1722 (type families & GADTs) [look at when GADTs are implemented by equalities]