Hey folks. After a long hiatus, I've been running the random tester
again. There are some new regressions.
See the attached file for a bug in LOGAND. Load the file then
evaluate (doit) to see the behavior.
UNIQUE*SOFT A HARRISON STREET COMPANY
This message and any attachments are intended only for the use of the
addressee and may contain information that is privileged and
confidential. If the reader of the message is not the intended
recipient or an authorized representative of the intended recipient,
you are hereby notified that any use, review, retransmission,
dissemination, distribution, copying, printing, or any other use or
action taken in reliance upon this communication is strictly
prohibited. If you have received this communication in error, please
notify the sender immediately by replying to this e-mail message or by
telephone at (847) 963-1777 and delete the message and any attachments
from your system. Any statements or opinions expressed in this email
are those of the sender and do not necessarily represent those of
sender's employer, its affiliated companies or any other person.
Although the sender's employer attempts to sweep e-mail and
attachments for viruses, it does not guarantee that either is
virus-free and accepts no liability for any damages as a result of
Paul Dietz <paul.dietz@...> writes:
> Hey folks. After a long hiatus, I've been running the random tester
> again. There are some new regressions.
> See the attached file for a bug in LOGAND. Load the file then
> evaluate (doit) to see the behavior.
This is logged as launchpad bug
<https://bugs.launchpad.net/sbcl/+bug/974406>; I have what I believe is
a fix, to go in after the next release (we're in a somewhat extended
freeze right now).