Changes between Version 236 and Version 237 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 29, 2007 12:53:48 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v236 v237  
    66 
    77 * #1737 (is this related to the other optimisation-related problems with cast?) 
     8 * #1738 (GADTs with equalities, only fails '''without''' profiling) 
    89 * #1715 (iface problem, which is tricky to reproduce) 
    9  * #1738 (GADTs with equalities, only fails '''without''' profiling) 
    1010 * #1722 (type families & GADTs) [look at when GADTs are implemented by equalities] 
    1111 * #1723 (type families & GADTs) [will be fixed when GADTs are implemented by equalities; we'll want to add the test case to the testsuite]