Changes between Version 170 and Version 171 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 28, 2007 1:55:15 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v170 v171  
    128128 * tcfail179: VALID.  If anything, the error message improved. 
    129129 * 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. 
     130 
     131Regression tests that are not part of the fast run: 
     132 * cholewo-eval: core-lint breackage