Changes between Version 151 and Version 152 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 21, 2007 10:14:53 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v151 v152  
    8383Unexpected failures: 
    8484   Refl2(normal) 
    85    Simple5a(normal) 
    86    break001(ghci) 
    87    break006(ghci) 
    88    print019(ghci) 
    89    rw(normal) 
     85   break003(ghci) 
    9086   tc210(normal) 
    9187   tc211(normal) 
     
    9490   tcfail102(normal) 
    9591   tcfail128(normal) 
    96    tcfail145(normal) 
    97    tcfail153(normal) 
    98    while(normal) 
     92   tcfail178(normal) 
     93   tcfail185(normal) 
    9994}}} 
    10095 
    10196 * Class1: VALID.  (Only marked to fail in head to keep validate happy.) 
    10297 * Relf2: VALID. Type family BUG. 
    103  * Simple5a: VALID. Changed error message for data families, BUT the new error message is cryptic and indicates a much too complicated treatment of data families. 
    104  * break001: INVALID.  GHC panic instead of printing error message about ambiguous variable. 
    105  * break006: INVALID.  Seems to be the same problem as break001. 
    106  * print019: INVALID.  Seems to be the same problem as break001. 
    107  * rw: VALID. Changed error message for GADTs.  Seems to be the same behaviour as in Simple5a.  
     98 * ~~Simple5a~~: VALID. Changed error message for data families, BUT the new error message is cryptic and indicates a much too complicated treatment of data families. 
     99 * ~~break001~~: INVALID.  GHC panic instead of printing error message about ambiguous variable. 
     100 * ~~break006~~: INVALID.  Seems to be the same problem as break001. 
     101 * ~~print019~~: INVALID.  Seems to be the same problem as break001. 
     102 * ~~rw~~: VALID. Changed error message for GADTs.  Seems to be the same behaviour as in Simple5a.  
    108103 * tc210: INVALID (matching `forall a.a -> Int` against `Int -> Int fails). 
    109104 * tc211: INVALID (tests impredicative types). 
     
    112107 * tcfail102: VALID. 
    113108 * tcfail128: VALID. Same as tcfail046. 
    114  * tcfail145: VALID. Error message got worse. 
    115  * 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. 
     109 * ~~tcfail145~~: VALID. Error message got worse. 
     110 * ~~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. 
    116111 * 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. 
    117112