Changes between Version 272 and Version 273 of TypeFunctionsStatus


Ignore:
Timestamp:
Nov 20, 2007 7:11:27 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v272 v273  
    5656   gadt22(normal)  -- CoreLint failure
    5757   gadt9(normal)  -- seems like the problem with equal
    58    lazypatok(normal)  -- May actually be better than before!
     58   lazypatok(normal)  -- Need to fix this, but low priority.
    5959   nbe(normal)  --  maybe same problem as in equal
    6060   set(normal)  -- Urgh!  Context reduction stack overflow