<div class="gmail_quote">First of all, Erik, thanks for granting access, but I would need some help about how the repository is set up for others to contribute -- <a href="http://common-lisp.net">common-lisp.net</a> does not provide info about it. </div>

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

I think it would be a pitty to start removing tests from the testsuite<br>
without replacing those tests with acceptable variants: we'd run the<br>
risk of eroding the test suite which for many implementers is a<br>
valuable sanity check.</blockquote></div><div><br></div><div>I would like to know on what basis you believe that the test is correct. It is producing an incorrect form, which is an assignment to a constant. The situation under those circumstances is unspecified The fact that ABCL had a problem with the interaction between macroexpansion and the CASE statement does not mean that the test is correct. Tests have to be kept if they  conform to the ANSI specification and I am making a case that this test is not. A proper form for that test would be</div>

<div><br></div><div><div>(PROGN</div><div>(DEFPARAMETER *CTYPECASE-15* :FOO)</div><div>(MACROLET ((%M (Z) Z))</div><div> (CTYPECASE (EXPAND-IN-CURRENT-ENV (%M *CTYPECASE-15*))</div><div>   (INTEGER :BAD1)</div><div>   (KEYWORD :GOOD)</div>

<div>   (SYMBOL :BAD2)))</div><div>)</div></div><div><br></div><div>Juanjo</div><div><br></div><div>-- </div>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>