[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: address@hidden: resuming]
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: address@hidden: resuming] |
Date: |
16 May 2007 11:21:08 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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 <address@hidden> 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 <address@hidden>
> Subject: resuming
> To: address@hidden
> CC: address@hidden
> 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 address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah