[Gcl-devel] Re: very cool

[Camm Maguire]

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