Changes between Version 165 and Version 166 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 12:35:00 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v165 v166  
    9191Unexpected failures:
    9292   Refl2(normal)
     93  Simple5a(normal)
    9394   tcfail065(normal)
    9495   tcfail068(normal)
     
    103104 * Class1: VALID.  (Only marked to fail in head to keep validate happy.)
    104105 * Relf2: VALID. Type family BUG.
     106 * Simple5a: VALID.  Error message changed.
    105107 * ~~Simple5a~~: VALID. Changed error message for data families, BUT the new error message is cryptic.
    106108 * ~~break001~~: INVALID.  GHC panic instead of printing error message about ambiguous variable.