[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:08:51 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

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,

We may also consider backporting the large C stack depth from 2.7.0 if

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 <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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]