Hi,<br><br>In the compilation of the or pattern the sk is made a lambda <br>but not the fk hence the observed geometric explosion. I have a fix <br>for this that works but intend to talk with foof about it<br>to fix ithe upstream matcher. There is really no need to change the doc<br>

<br>The fix is easy (I beleve). Actually a small diff for it shows shows,<br><br>482,483c482<br>&lt;      (let ((ffk (lambda () (match-gen-or-step v q g+s sk fk i))))<br>&lt;        (match-one v p g+s sk (ffk) i)))<br>---<br>
&gt;      (match-one v p g+s sk (match-gen-or-step v q g+s sk fk i) i))<br>
<br>/Stefan<br>