Changes between Version 165 and Version 166 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 12:35:00 PM (7 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.