Changes between Version 272 and Version 273 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
11/19/07 23:11:27 (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