[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: very cool

From: Camm Maguire
Subject: [Gcl-devel] Re: very cool
Date: 11 Jul 2006 18:31:58 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2


Robert Boyer <address@hidden> writes:

> > Perhaps it is best to push an experimental build to your site in
> > advance of a commit?
> Only if it would somehow be of real assistance to you work.  I'd certainly
> push such images, but I can very happily wait until you are ready to
> update cvs head in the normal way.  No hurry at all.  Don't think of a
> special release for me!
> > (is this what you did?)
> Yes.  I have now tried to turn off all ACL2 proclaiming at this point, but
> am still getting those funny "not used" warnings, but only some times.
> But I'm probably now merely reporting bugs you have already fixed, so I'll
> stop for a while.
> > some checking code at the end of the call
> > If I could see how to avoid this, we could get optimal performance, but it
> > doesn't seem possible short of forcing a redefine or recompile of 'bar on
> > defun of foo.
> I think that forcing a recompile is something that you should *always*
> feel free to do.  My general advice is that you should always tilt in
> favor of the user who wants maximum performance.  Hey, it's free.

OK, this is interesting.  Do you mean that eventually I should remove
the *disable-recompile* option?

Take care,

> Bob

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]