Changes between Version 169 and Version 170 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
08/27/07 06:53:44 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v169 v170  
    9090Unexpected passes: 
    9191   Class1(normal) 
     92   GADT2(normal) 
    9293 
    9394Unexpected failures: 
    … …  
    106107 
    107108 * Class1: VALID.  (Only marked to fail in head to keep validate happy.) 
     109 * GADT2: VALID.  (Only marked to fail in head to keep validate happy.) 
    108110 * Relf2: VALID. Type family BUG. 
    109111 * Simple5a: VALID.  Error message changed.