Raymond Toy <toy.raymond at gmail.com> writes:
> This declaim didn't make any sense to me either, but now I remember
> that, unlike all others, gcl loads sys-proclaim.lisp that proclaims
> lots of functions. Perhaps this is the problem, and sys-proclaim
> needs to be regenerated. I don't have gcl available right now, but I
> think you can do "make sys-proclaim" in the src directory to have gcl
> update sys-proclaim.lisp.
AHAH! Thank you very very very much! I've been so confused about this.
You're right. What was going wrong was that the sys-proclaim.lisp that
was checked into the repository proclaimed COMPSPLT to have ftype
(function (t) t). Adding a bogus declaim at the top of compar.lisp
cancelled out its effects (but obviously wasn't the right fix!)
I've just pushed a patch that deletes references to COMPSPLT from
sys-proclaim.lisp. I tried "make sys-proclaim" and there are some pretty
major changes to the file. Unfortunately, when I did it again, I got
some more major changes. After three of four goes with the file getting
bigger each time and with no fixed point, I gave up and manually edited
the original file. Is there an "official" way to do this?
[PS: I notice that Andreas Eder must have run into this problem in the
past, given that he made a very similar change last January. Maybe
we should have a hint in README.developers-howto ?]
Anyway, I'll make sure to update sys-proclaim.lisp if I make similar
changes (and check GCL!). Sorry for the kerfuffle.
Rupert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 315 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20130220/90c72889/attachment.pgp>;