Rupert Swarbrick <rswarbrick at gmail.com> writes:
> Dan Gildea <dgildea at users.sourceforge.net> writes:
>> Maxima 5.28.0_297_geb362e1 http://maxima.sourceforge.net
>> using Lisp GNU Common Lisp (GCL) GCL 2.6.8 (a.k.a. GCL)
>> Distributed under the GNU Public License. See the file COPYING.
>> Dedicated to the memory of William Schelter.
>> The function bug_report() provides bug reporting information.
>> (%i1) assume(a>0);
>> (%o1) [a > false]
>> (%i2) assume(b>1);
>> (%o2) [b > false]
>> (%i3) facts();
>> (%o3) [a > false, b > false]
>
> Oh dear, this was caused by my commit acedfa0cf33. I'm trying to work
> out what's gone wrong and I'll merge a fix asap. Sorry!
>
> Rupert
Dan replied to me off-list pointing out that adding the following two
lines fixed the problem:
;; GCL needs to know that compsplt and compsplt-eq return multiple values
#+gcl
(declaim (ftype (function (t) t t) compsplt compsplt-eq))
I'll push a patch with this in a second as a stop-gap, but I've
obviously misunderstood something about the lisp compile/load/eval cycle
so I'll try and work out how to do this properly and push a less hacky
fix soon.
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/20130219/fcb827b7/attachment.pgp>;