Changes between Version 278 and Version 279 of TypeFunctionsStatus


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v278 v279  
    4747== gadt/ == 
    4848Unexpected failures: 
    49    Session(normal) 
     49   Session(normal) -- CoreLint failure: non-function in function position 
    5050   gadt18(normal)  -- GADT equalities not properly propagated in class instances 
    5151   gadt21(normal)  -- OK!  Appears to just be a different error message.