Lisp stack overflow



Here is a simpler example:

:lisp (resimplify '((%sin) ((mbox) ((mplus) a b))))
 => Error in RESIMPLIFY [or a callee]: Bind stack overflow.

Changing any of %sin, mbox, or mplus to anything else (e.g. foo)
makes the error go away. Very curious!

Robert Dodier