[Gcl-devel] Re: value stack overflow

[Camm Maguire]

Greetings!

You can see what is on the stack with :vs.  You can see a backtrace
(if that is helpful) with :bt.  You can jump to any frame with :fr,
and see local variables with :bl.

If there is in fact no bug and you just need a bigger stack, at the
gcl toplevel, you can try (setq si::*multiply-stacks* 2) to double the
stack size, (si::save-system "new_image"), and then try executing
again with new_image.

Take care,

address@hidden writes:

> Can someone remind me what's the most useful thing to do to debug a
> value stack overflow.  I've looked at several of the options under :h,
> but I can't really see what's going on. 
> 
> Error: Value stack overflow.
> Fast links are on: do (si::use-fast-links nil) for debugging
> Error signalled by ACL2-PC::PROVE.
> Broken at COND.  Type :H for Help.
> 
> 
> Bill
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah