Greetings! Thanks Matt -- working on this and will let you know when I have something to try. In the meantime, I've committed to 2.6.8pre support for continuing in the event of most C stack overflows as per your previous example. If you would like to check it out and confirm that it works for you, that would be great. Recall that C stack overflows in the middle of a GC mark are absolutely terminal as far as I can see -- other user infinite recursions can be safely caught, however.
We may also consider backporting the large C stack depth from 2.7.0 if desired. Now that mingw is in shape, I'm just tending to a few loose ends for 2.6.8 and hope to get it out relatively soon. Needless to say, any general testing is most appreciated. The only other item I'd really like to get in is mac intel support. Take care, Matt Kaufmann <[EMAIL PROTECTED]> writes: > P.S. In case it's helpful, here's an example showing that :r doesn't > work. > > >(compile (defun fact (n acc) (if (zerop n) 1 (fact (1- n) (* n acc))))) > > Compiling gazonk10.lsp. > End of Pass 1. > > ;; Note: Tail-recursive call of FACT was replaced by iteration. > End of Pass 2. > OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 > Finished compiling gazonk10.lsp. > Loading gazonk10.o > start address -T 0x84196e0 Finished loading gazonk10.o > #<compiled-function FACT> > NIL > NIL > > >(fact 100000 1) ; interrupt partway through > > Error: Console interrupt. > Fast links are on: do (si::use-fast-links nil) for debugging > Error signalled by FACT. > Broken at SYSTEM:TERMINAL-INTERRUPT. Type :H for Help. > >>:r > > Top level. > > > > -- Matt > From: Matt Kaufmann <[EMAIL PROTECTED]> > Subject: resuming > To: [EMAIL PROTECTED] > CC: gcl-devel@gnu.org > Date: 10 May 2007 21:08:57 -0500 > > Hi, Camm -- > > It seems to me that years ago, one could interrupt GCL with control-c > and then resume with :r. But now, :r seems to quit always like :q. > (I tried 2.6.5, 2.6.7. and 2.6.8pre; in 2.7.0 I actually got "Killed > by signal 2." when I interrupted.) > > Is there a command I can issue to GCL so that :r resumes? This > capability can be very useful to ACL2 users. > > Thanks -- > - -- Matt > ---------- > > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
