Changes between Version 152 and Version 153 of TypeFunctionsStatus


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v152 v153  
    8383Unexpected failures: 
    8484   Refl2(normal) 
    85    break003(ghci) 
    8685   tc210(normal) 
    8786   tc211(normal) 
    8887   tcfail046(normal) 
    89    tcfail071(normal) 
    9088   tcfail102(normal) 
    9189   tcfail128(normal) 
    92    tcfail178(normal) 
    93    tcfail185(normal) 
    9490}}} 
    9591 
     
    104100 * tc211: INVALID (tests impredicative types). 
    105101 * tcfail046: VALID: Changed error message, BUT the new error message has one more type synonym unfolding, which should be avoided. 
    106  * tcfail071: ?? Changed error message (has now only one of two parts).  Unsure whether the lack of the second part signals regress. 
     102 * ~~tcfail071~~: ?? Changed error message (has now only one of two parts).  Unsure whether the lack of the second part signals regress. 
    107103 * tcfail102: VALID. 
    108104 * tcfail128: VALID. Same as tcfail046. 
     
    112108 
    113109Summary of ''critical'' problems: 
    114  0. Panic in case of ambiguous type variables (break001, break006, and print019). 
     110 0. ~~Panic in case of ambiguous type variables (break001, break006, and print019).~~ 
    115111 0. Problem instantiating rank-2/impredicative types (tc210 & tc211).