<div class="gmail_quote">On Sun, Jan 8, 2012 at 9:33 PM, Ville Voutilainen <span dir="ltr"><<a href="mailto:ville.voutilainen@gmail.com">ville.voutilainen@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Forgot to reply to the list...<br>
<div class="HOEnZb"><div class="h5"><br>
On 8 January 2012 22:16, Juan Jose Garcia-Ripoll<br>
<<a href="mailto:juanjose.garciaripoll@googlemail.com">juanjose.garciaripoll@googlemail.com</a>> wrote:<br>
> I would like to know on what basis you believe that the test is correct. It<br>
> is producing an incorrect form, which is an assignment to a constant. The<br>
<br>
Ah, now I see it: "If the store-value restart is invoked, its argument<br>
becomes the new test-key, and is stored in keyplace as if by (setf<br>
keyplace test-key). Then ctypecase starts over, considering each<br>
clause anew."<br>
<br>
The test didn't look like it's testing anything but the :good case,<br>
but you are most certainly<br>
correct that if the test for :keyword should fail, the test will do<br>
funny things.</div></div></blockquote><div><br></div><div>It is not only that the assignment is executed in case of error: the assignment to a constant is an incorrect form and does not need to be accepted by the Common Lisp implementation. ECL rejects it beforehand and thus cannot swallow that test.</div>

</div><div><br></div><div>Juanjo</div><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>