Changes between Version 156 and Version 157 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 4:21:06 AM (8 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}}}