Changes between Version 156 and Version 157 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 4:21:06 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v156 v157  
    8585   tc210(normal) 
    8686   tc211(normal) 
    87    tcfail046(normal) 
    8887   tcfail065(normal) 
    8988   tcfail068(normal) 
     
    9190   tcfail102(normal) 
    9291   tcfail103(normal) 
    93    tcfail128(normal) 
    9492   tcfail179(normal) 
    9593}}} 
     
    104102 * tc210: INVALID (matching `forall a.a -> Int` against `Int -> Int fails). 
    105103 * tc211: INVALID (tests impredicative types). 
    106  * tcfail046: VALID.  Changed error message, BUT the new error message has one more type synonym unfolding, which should be avoided. 
     104 * ~~tcfail046~~: VALID.  Changed error message, BUT the new error message has one more type synonym unfolding, which should be avoided. 
    107105 * tcfail065: VALID.  Cosmetic difference, as tidy names are assigned in different order. 
    108106 * tcfail068: ?? Reports two errors less (probably due to different recovery points) 
     
    111109 * tcfail102: VALID. 
    112110 * tcfail103: VALID.  Error message is actually better! 
    113  * tcfail128: VALID. Same as tcfail046. 
     111 * ~~tcfail128~~: VALID. Same as tcfail046. 
    114112 * ~~tcfail145~~: VALID. Error message got worse. 
    115113 * ~~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. 
     
    120118 0. ~~Panic in case of ambiguous type variables (break001, break006, and print019).~~ 
    121119 0. Problem instantiating rank-2/impredicative types (tc210 & tc211). 
    122  
    123 ---- 
    124 Local: 
    125 {{{ 
    126 Unexpected passes: 
    127    Class1(normal) 
    128    GADT2(normal) 
    129  
    130 Unexpected failures: 
    131    Refl2(normal) 
    132    tc210(normal) 
    133    tc211(normal) 
    134    tcfail046(normal) 
    135    tcfail065(normal) 
    136    tcfail068(normal) 
    137    tcfail076(normal) 
    138    tcfail102(normal) 
    139    tcfail103(normal) 
    140    tcfail128(normal) 
    141    tcfail179(normal) 
    142    while(normal) 
    143120}}}