Greetings! OK, this should be fixed in 2.6.8pre now too -- cvs head was already good. Please check it out if you can and let me know if problems persist for you.
cvs -z9 -q co -d gcl-2.6.8pre -r Version_2_6_8pre gcl cd gcl ./configure && make 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
