Robert Dodier writes:
> By the way, I had to fix some bugs in the simplification code to
> make this work. You'll want to get src/matrun.lisp and
> src/matcom.lisp from cvs.
You also completely changed some behaviour which I wouldn't consider
as broken. For example, in a fresh session,
matchdeclare(%b%,atom);
const_true(x):=true;
/* Btw, simply `true' ought to work, too */
matchdeclare(%a%,const_true);
defmatch(foo,%b%+%a%);
foo(x+y+y^2+z+cos(x));
used to give
2
[%b% = z + y + x, %a% = y + cos(x)]
but with your changes in PART+ (src/matrun.lisp) it now gives `false'.
Wolfgang