Changes between Version 153 and Version 154 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 23, 2007 2:53:02 AM (8 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}}}