Changes between Version 272 and Version 273 of TypeFunctionsStatus


Ignore:
Timestamp:
Nov 20, 2007 7:11:27 AM (6 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