Changes between Version 157 and Version 158 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 5:28:58 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v157 v158  
    8787   tcfail065(normal)
    8888   tcfail068(normal)
     89   tcfail071(normal)
    8990   tcfail076(normal)
    9091   tcfail102(normal)
     
    9596 * Class1: VALID.  (Only marked to fail in head to keep validate happy.)
    9697 * Relf2: VALID. Type family BUG.
    97  * ~~Simple5a~~: VALID. Changed error message for data families, BUT the new error message is cryptic and indicates a much too complicated treatment of data families.
     98 * ~~Simple5a~~: VALID. Changed error message for data families, BUT the new error message is cryptic.
    9899 * ~~break001~~: INVALID.  GHC panic instead of printing error message about ambiguous variable.
    99100 * ~~break006~~: INVALID.  Seems to be the same problem as break001.
     
    105106 * tcfail065: VALID.  Cosmetic difference, as tidy names are assigned in different order.
    106107 * tcfail068: ?? Reports two errors less (probably due to different recovery points)
     108 * tcfail071: VALID.  Now reports one instead of two errors as deferred unification is checked only after the contexts of mutually recursive groups have been unified.  (The latter is what this test case is really about, and it still works fine for that.)
    107109 * tcfail076: VALID.  Same as tcfail065.
    108110 * ~~tcfail071~~: ?? Changed error message (has now only one of two parts).  Unsure whether the lack of the second part signals regress.