Changes between Version 155 and Version 156 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
08/23/07 04:21:32 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v155 v156  
    110110 * ~~tcfail071~~: ?? Changed error message (has now only one of two parts).  Unsure whether the lack of the second part signals regress. 
    111111 * tcfail102: VALID. 
    112 * tcfail103: VALID.  Error message is actually better! 
     112 * tcfail103: VALID.  Error message is actually better! 
    113113 * tcfail128: VALID. Same as tcfail046. 
    114114 * ~~tcfail145~~: VALID. Error message got worse. 
    115115 * ~~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. 
     116 * tcfail179: VALID.  If anything, the error message improved. 
    117117 * 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. 
    118118