On Fri, Mar 6, 2020 at 9:55 AM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:

The "conflating" form of `lambda/kw' is furthermore dangerous when used in macros: Assume `(lambda/kw (x y (z)) ... w ...)' is in the template of a macro where `z' and `w' are macro parameters. For the macro writer everything looks fine but it will make boom when the macro user supplies the same macro parameter for `z' and `w'.

Can you spell this out in detail with an example? I have a fairly concrete mind (which is not to say that it is actually made of concrete).

John Cowan http://vrici.lojban.org/~cowan xxxxxx@ccil.org
Ahhh, I love documentation. --Stephen C.
Now I know that I know, and why I believe that I know it.
My epistemological needs are so satisfied right now.