On 5/8/07, Robert Dodier <robert.dodier at gmail.com> wrote:
>
> On 5/7/07, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
>
> > matchdeclare([a1,a2],atom)$
> > tellsimpafter(ppp(a1+a2),ppx(a1,a2));
> > a2 + a1 partitions `sum'
> > ppp(x+y) => ppx(0, y + x) <<<<<<<<< ignores matchdeclare of
> a1
> > and a2 as atoms!!!
That's a feature of PART+ . a2 sweeps up all the atoms in the sum,
> and then PART+ tries to match 0 to any match variables not yet
> assigned anything.
Is this documented anywhere!? It was certainly a surprise to me that a
match-variable matching atom matches something other than an atom!
-s