Changes between Version 275 and Version 276 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 4, 2007 5:33:51 AM (6 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}}}