On Sun, 7 Jul 2019 21:16:13 +0100 Chris Vine <[email protected]> wrote: > I need to think more about this and/or reproduce this later. > > This is with guile-2.2.6 by the way.
OK, I did set up the test of your macro incorrectly (the one using syntax-rules): tested properly, as you say it produces [t=global-t] inner-t'. So does my revised syntax-case version which manipulates syntax objects. I also agree that that is the answer that should be produced. My version was hygienic when used in functions, but not when used as a macro in a macro. Chris
