[ansi-test-devel] Problem with CTYPECASE.15

[Juan Jose Garcia-Ripoll]

(MACROLET ((%M (Z)
                   Z))
        (CTYPECASE (EXPAND-IN-CURRENT-ENV (%M :FOO))
          (INTEGER :BAD1)
          (KEYWORD :GOOD)
          (SYMBOL :BAD2)))

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.

Would the following make sense?

(MACROLET ((%M (Z)
                   Z))
        (CTYPECASE (LET ((X (EXPAND-IN-CURRENT-ENV (%M :FOO)))) X)
          (INTEGER :BAD1)
          (KEYWORD :GOOD)
          (SYMBOL :BAD2)))

Juanjo



-- 
Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
http://juanjose.garciaripoll.googlepages.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ansi-test-devel/attachments/20101224/cba5978d/attachment.html>