Changes between Version 157 and Version 158 of TypeFunctionsStatus
- Aug 27, 2007 5:28:58 AM (10 years ago)
v157 v158 87 87 tcfail065(normal) 88 88 tcfail068(normal) 89 89 90 tcfail076(normal) 90 91 tcfail102(normal) … … 95 96 * Class1: VALID. (Only marked to fail in head to keep validate happy.) 96 97 * 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. 98 99 * ~~break001~~: INVALID. GHC panic instead of printing error message about ambiguous variable. 99 100 * ~~break006~~: INVALID. Seems to be the same problem as break001. … … 105 106 * tcfail065: VALID. Cosmetic difference, as tidy names are assigned in different order. 106 107 * tcfail068: ?? Reports two errors less (probably due to different recovery points) 108 107 109 * tcfail076: VALID. Same as tcfail065. 108 110 * ~~tcfail071~~: ?? Changed error message (has now only one of two parts). Unsure whether the lack of the second part signals regress.