Changes between Version 250 and Version 251 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 15, 2007 12:23:30 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v250 v251  
    66 
    77 * #1754 
     8 * #1772 
    89 * #1722 (type families & GADTs) [look at when GADTs are implemented by equalities] 
    910 * #1723 (type families & GADTs) [will be fixed when GADTs are implemented by equalities; we'll want to add the test case to the testsuite]