Changes between Version 153 and Version 154 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
08/22/07 19:53:02 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v153 v154  
    110110 0. ~~Panic in case of ambiguous type variables (break001, break006, and print019).~~ 
    111111 0. Problem instantiating rank-2/impredicative types (tc210 & tc211). 
     112 
     113---- 
     114Local: 
     115{{{ 
     116Unexpected passes: 
     117   Class1(normal) 
     118   GADT2(normal) 
     119 
     120Unexpected failures: 
     121   Refl2(normal) 
     122   tc210(normal) 
     123   tc211(normal) 
     124   tcfail046(normal) 
     125   tcfail065(normal) 
     126   tcfail068(normal) 
     127   tcfail076(normal) 
     128   tcfail102(normal) 
     129   tcfail103(normal) 
     130   tcfail128(normal) 
     131   tcfail174(normal) 
     132   tcfail179(normal) 
     133   while(normal) 
     134}}}