On Thu, 2011-07-28 at 23:09 -0600, Robert Dodier wrote:
> 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.
>
Thanks! I managed to get the effect I wanted another way, but it is nice
to know _why_ things happen.
Bernard.