[ansi-test-devel] Wrong test?

[Ville Voutilainen]

On 26 December 2011 17:26, Juan Jose Garcia-Ripoll
<juanjose.garciaripoll at googlemail.com> wrote:
> (MACROLET ((%M (Z)
>                    Z))
>         (CTYPECASE (EXPAND-IN-CURRENT-ENV (%M :FOO))
>           (INTEGER :BAD1)
>           (KEYWORD :GOOD)
>           (SYMBOL :BAD2)))
> What is this supposed to check? In ECL this leads to the following code
> (CTYPECASE :FOO
>           (INTEGER :BAD1)
>           (KEYWORD :GOOD)
>           (SYMBOL :BAD2)))

I'm no expert, but this looks like it checks that a macrolet-ted
identity macro doesn't
change the identity of its argument, when expanded with the current environment.