Robert Dodier wrote:
> Hello,
>
> What is the story with src/sys-proclaim.lisp ? It appears to be
> automatically
> regenerated by make, so cvs always claims that the local copy is out
> of date
> wrt the repository ... sys-proclaim diffs are typically much more
> voluminous
> than anything I'm actually working on, so I'd like to suppress this
> noise source
> if possible. Any light you can shed on this would be very helpful.
>
I made that change a month or two ago. Until then, I guess no one had
updated sys-proclaim in a long time. The issue is that if you change a
function but forget to modify sys-proclaim, gcl will be confused. gcl
will believe the sys-proclaim and call functions incorrectly. This
actually happened, which prompted me to generate sys-proclaim every time
you build maxima. (This was discussed on the mailing list.)
I actually would just like to get rid of sys-proclaim. It's only for
gcl to make maxima run a little faster, but it's a pain to maintain
correctly. The current scheme generates sys-proclaim, after compiling
maxima. You'd need to compile maxima at least twice to make sure
everything is correct.
Ray