Changes between Version 163 and Version 164 of TypeFunctionsStatus
- Aug 27, 2007 11:14:38 AM (7 years ago)
v163 v164 107 107 * ~~tcfail046~~: VALID. Changed error message, BUT the new error message has one more type synonym unfolding, which should be avoided. 108 108 * 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: 110 110 * 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.) 111 111 * tcfail076: VALID. Same as tcfail065.