Changes between Version 154 and Version 155 of TypeFunctionsStatus
- Timestamp:
- 08/23/07 04:20:46 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TypeFunctionsStatus
v154 v155 86 86 tc211(normal) 87 87 tcfail046(normal) 88 tcfail065(normal) 89 tcfail068(normal) 90 tcfail076(normal) 88 91 tcfail102(normal) 92 tcfail103(normal) 89 93 tcfail128(normal) 94 tcfail179(normal) 90 95 }}} 91 96 … … 99 104 * tc210: INVALID (matching `forall a.a -> Int` against `Int -> Int fails). 100 105 * tc211: INVALID (tests impredicative types). 101 * tcfail046: VALID: Changed error message, BUT the new error message has one more type synonym unfolding, which should be avoided. 106 * tcfail046: VALID. Changed error message, BUT the new error message has one more type synonym unfolding, which should be avoided. 107 * tcfail065: VALID. Cosmetic difference, as tidy names are assigned in different order. 108 * tcfail068: ?? Reports two errors less (probably due to different recovery points) 109 * tcfail076: VALID. Same as tcfail065. 102 110 * ~~tcfail071~~: ?? Changed error message (has now only one of two parts). Unsure whether the lack of the second part signals regress. 103 111 * tcfail102: VALID. 112 * tcfail103: VALID. Error message is actually better! 104 113 * tcfail128: VALID. Same as tcfail046. 105 114 * ~~tcfail145~~: VALID. Error message got worse. 106 115 * ~~tcfail153~~: VALID. Related to Simple5a in that a match against a rigid type variable gets reported as an equality context that could not be deduced. 116 * tcfail179: VALID. If anything, the error message improved. 107 117 * while: VALID. Works if definition of `succeed` gets a type signature `Monad m => a -> m a`. The error seems to be due to the new GADT rules about annotations, but the error message is a bit strange; ie, need to be improved. 108 118 … … 129 139 tcfail103(normal) 130 140 tcfail128(normal) 131 tcfail174(normal)132 141 tcfail179(normal) 133 142 while(normal)
