Changes between Version 169 and Version 170 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 1:53:44 PM (7 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.