Changes between Version 279 and Version 280 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 7, 2007 7:08:21 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v279 v280  
    4747== gadt/ == 
    4848Unexpected failures: 
    49    Session(normal) -- CoreLint failure: non-function in function position 
    50    gadt18(normal)  -- GADT equalities not properly propagated in class instances 
    5149   gadt21(normal)  -- OK!  Appears to just be a different error message. 
    52    gadt22(normal)  -- CoreLint failure 
    5350   lazypatok(normal)  -- Need to fix this, but low priority. 
    5451   nbe(normal) 
    55    set(normal)  -- Urgh!  Context reduction stack overflow 
    5652   while(normal) 
    5753}}}