Greetings! Robert Boyer <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
