[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 |
Greetings!
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Re: very cool,
Camm Maguire <=