On 7/28/11, Bernard Hurley <bernard at marcade.biz> wrote:
> (%i3) matchdeclare (xx, coordp);
> (%o3) done
> (%i4) tellsimpafter (xx(t), xx);
>
> tellsimpafter: pattern must not be an atom or a matchdeclare variable;
> found: xx
tellsimp and tellsimpafter attach the generated rule (a Lisp function)
to the main operator of the pattern expression, so the main operator
cannot be a match variable.
The error message is misleading; I'll try to clarify it.
hth,
Robert Dodier