Changes between Version 275 and Version 276 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 4, 2007 5:33:51 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v275 v276  
    3838   GADT4(normal)
    3939   GADT5(normal)
    40 --   GADT7(normal)   -- fails due to current rigidity test
    4140Unexpected failures:
    4241   GADT3(normal) -- ok, just tickles a known bug
     
    4847== gadt/ ==
    4948Unexpected failures:
    50    Session(normal)  -- maybe same problem as in equal
    51    arrow(normal)  -- maybe same problem as in equal
    52    doaitse(normal)  -- maybe same problem as in equal
    53    equal(normal)   -- GADT givens (from pattern matching) don't seem to be used to discharge GADT wanteds (demanded by rhs)
     49   Session(normal
    5450   gadt18(normal)  -- GADT equalities not properly propagated in class instances
    5551   gadt21(normal)  -- OK!  Appears to just be a different error message.
    5652   gadt22(normal)  -- CoreLint failure
    57    gadt9(normal)  -- seems like the problem with equal
    5853   lazypatok(normal)  -- Need to fix this, but low priority.
    5954   nbe(normal)  --  maybe same problem as in equal
    6055   set(normal)  -- Urgh!  Context reduction stack overflow
    61    tc(normal)
    62    termination(normal)
    6356   while(normal) -- maybe same problem as equal
    6457}}}