Changes between Version 154 and Version 155 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 23, 2007 11:20:46 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v154 v155  
    8686   tc211(normal)
    8787   tcfail046(normal)
     88   tcfail065(normal)
     89   tcfail068(normal)
     90   tcfail076(normal)
    8891   tcfail102(normal)
     92   tcfail103(normal)
    8993   tcfail128(normal)
     94   tcfail179(normal)
    9095}}}
    9196
     
    99104 * tc210: INVALID (matching `forall a.a -> Int` against `Int -> Int fails).
    100105 * 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.
    102110 * ~~tcfail071~~: ?? Changed error message (has now only one of two parts).  Unsure whether the lack of the second part signals regress.
    103111 * tcfail102: VALID.
     112* tcfail103: VALID.  Error message is actually better!
    104113 * tcfail128: VALID. Same as tcfail046.
    105114 * ~~tcfail145~~: VALID. Error message got worse.
    106115 * ~~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.
    107117 * 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.
    108118
     
    129139   tcfail103(normal)
    130140   tcfail128(normal)
    131    tcfail174(normal)
    132141   tcfail179(normal)
    133142   while(normal)