(MACROLET ((%M (Z)<br>                   Z))<br>        (CTYPECASE (EXPAND-IN-CURRENT-ENV (%M :FOO))<br>          (INTEGER :BAD1)<br>          (KEYWORD :GOOD)<br>          (SYMBOL :BAD2)))<br clear="all"><br>Is
 this test really correct? CTYPECASE must be able to write into the 
keyval (in this case the form (EXPAND-IN-CURRENT-ENV (%M :FOO))). ECL 
properly detects that this is impossible, because the expression is 
constant, but this is not what the test suite expects.<br>
<br>Would the following make sense?<br><br>(MACROLET ((%M (Z)<br>
                   Z))<br>
        (CTYPECASE (LET ((X (EXPAND-IN-CURRENT-ENV (%M :FOO)))) X)<br>
          (INTEGER :BAD1)<br>
          (KEYWORD :GOOD)<br>
          (SYMBOL :BAD2)))<br clear="all"><br>Juanjo<br><font color="#888888"><br></font><br clear="all"><br>-- <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>