On Sun, Mar 28, 2010 at 10:23 AM, Tobias C. Rittweiler <email@example.com>
Sounds like ECL does not correctly handle type declarations in
SYMBOL-MACROLET---there was a recent change regarding SM perhaps it's a
regression; type declaration on symbols macros are like expanding to
(THE <type> <symbol-macro-expansion>) throughout the code.
There is no regression here, ECL simply did not handle this case properly. I have added code to do what you say, which is what is mandated by the specification.
Thanks to both of you for reporting and pointing out the cause of the problem.