#3247 Maxima's trace and timer handle rules incorrectly

[Andrii Sokolov]

(%i1) defrule(r, a, b); defrule(r1, a, b);
(%i2) trace(r)$
(%i3) to_lisp();

MAXIMA> (setf (values expr flag) ($r '$a))
1 Enter r [a]
1 Exit  r b
$B
NIL
MAXIMA> (setf (values expr flag) ($r1 '$a))

$B
T

A rule returns (values result hit), where hit is true when the rule hits given expression. It seems that trace can't handle multiple return values.

As a result, apply* family of functions don't work with the traced rule.

Note that the lisp built-in trace works like a charm, at least on GCL.

[Kris Katterjohn]

Thanks for the report. Timing functions with timer also causes the same problem.

I have a fix that I'll commit soon.

[Kris Katterjohn]

This has been fixed by commit [721457].

Thanks again for the report.