Changes between Version 169 and Version 170 of TypeFunctionsStatus


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