Changes between Version 161 and Version 162 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 10:55:35 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v161 v162  
    8686Unexpected failures: 
    8787   Refl2(normal) 
    88    tc210(normal) 
    8988   tc211(normal) 
    9089   tcfail065(normal) 
     
    105104 * ~~print019~~: INVALID.  Seems to be the same problem as break001. 
    106105 * ~~rw~~: VALID. Changed error message for GADTs.  Seems to be the same behaviour as in Simple5a.  
    107  * tc210: INVALID (matching `forall a.a -> Int` against `Int -> Int fails). 
     106 * ~~tc210~~: INVALID (matching `forall a.a -> Int` against `Int -> Int fails). 
    108107 * tc211: INVALID (tests impredicative types). 
    109108 * ~~tcfail046~~: VALID.  Changed error message, BUT the new error message has one more type synonym unfolding, which should be avoided. 
     
    122121Summary of ''critical'' problems: 
    123122 0. ~~Panic in case of ambiguous type variables (break001, break006, and print019).~~ 
    124  0. Problem instantiating rank-2/impredicative types (tc210 & tc211). 
     123 0. Problem instantiatiating impredicative types (tc211).