Changes between Version 280 and Version 281 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 7, 2007 7:10:10 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v280 v281  
    4747== gadt/ == 
    4848Unexpected failures: 
    49    gadt21(normal)  -- OK!  Appears to just be a different error message. 
     49   gadt21(normal)       -- OK!  (Just be a different error message.) 
    5050   lazypatok(normal)  -- Need to fix this, but low priority. 
    5151   nbe(normal)