Re: cl-block less lexical than expected

[Stefan Monnier]

> I have to think that since catch and throw both take evaluated
> expressions for their tags, a more suitable implementation might
> do a static transformation to choose an out-of-the-way lexical
> _variable_ name which would then be let-bound to a gensym during
> the body. cl-return-from could then try to evaluate the variable
> to get the tag;

Sounds good.  As you noted, this was not an option when these macros
were written because of the need for statically scoped variables.

> the warnings/errors for bad tags would be awkward to read, but at
> least the semantics would be correct.

By carefully choosing the names we use that shouldn't be too bad.


        Stefan