Changes between Version 276 and Version 277 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 4, 2007 5:37:29 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v276 v277  
    4747== gadt/ == 
    4848Unexpected failures: 
    49    Session(normal 
     49   Session(normal) 
    5050   gadt18(normal)  -- GADT equalities not properly propagated in class instances 
    5151   gadt21(normal)  -- OK!  Appears to just be a different error message. 
    5252   gadt22(normal)  -- CoreLint failure 
    5353   lazypatok(normal)  -- Need to fix this, but low priority. 
    54    nbe(normal)  --  maybe same problem as in equal 
     54   nbe(normal) 
    5555   set(normal)  -- Urgh!  Context reduction stack overflow 
    56    while(normal) -- maybe same problem as equal 
     56   while(normal) 
    5757}}} 
    5858    * Handling of cases expression scrutinising GADTs: