Changes between Version 154 and Version 155 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 23, 2007 11:20:46 AM (7 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)