Greetings! sys-proclaim.lisp produces significantly faster code. 2.7.0 may be able to do some of this work inline, but that is yet a ways off. I suggest hanving the gcl make target do a make-sys-proclaims, make clean, and then make. axiom has this capability for example. acl2 modifies there defun to issue the proclaim at functino definition time.
Take care, "Robert Dodier" <[EMAIL PROTECTED]> writes: > > Is sys-proclaim really needed? I know gcl uses it, but it seems to be > > a maintenance headache, and a great source of potential bugs, as we > > can see now. > > if it simplifies things to get rid of it, and it is not really needed, > then i'm in favor of cutting it. disclaimer: i haven't looked into this > problem > so i'm going only by what's been reported to the mailing list. > > all the best, > robert dodier > > _______________________________________________ > Maxima mailing list > [EMAIL PROTECTED] > http://www.math.utexas.edu/mailman/listinfo/maxima > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
