Changes between Version 222 and Version 223 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
09/26/07 04:02:29 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v222 v223  
    77 * #1715 
    88 * #1722 (type families & GADTs) 
    9  * #1723 (type families & GADTs) 
     9 * #1723 (type families & GADTs) [will be fixed when GADTs are implemented by equalities; we'll want to add the test case to the testsuite] 
    1010 * #1729 (type synonym families) 
    1111 * #1730 (type synonym families) 
    … …  
    1818 * `should_run/GMapTop(optc,hpc,profc,profasm)` (data type families) 
    1919 * `should_run/ind2(profc,profasm)` (data type families) 
    20  * `should_compile/GADT3(profc,profasm)` (type syonym families) 
     20 * `should_compile/GADT3(profc,profasm)` (type syonym families) -- unexpected pass 
    2121 * `should_run/Simple12(normal,optc,profc,profasm)` (type synonym families) 
    2222