Changes between Version 163 and Version 164 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 11:14:38 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v163 v164  
    107107 * ~~tcfail046~~: VALID.  Changed error message, BUT the new error message has one more type synonym unfolding, which should be avoided. 
    108108 * tcfail065: VALID.  Cosmetic difference, as tidy names are assigned in different order. 
    109  * tcfail068: ?? Reports two errors less (probably due to different recovery points) 
     109 * tcfail068: VALID.  Reports two errors less (probably due to different recovery points).  Yes, I checked that its not that it admits incorrect programs, but just due to different order of checking/pruning of errors. 
    110110 * 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.) 
    111111 * tcfail076: VALID.  Same as tcfail065.