Macro to Make Identifiers from String Diagram

[soegaard]

I’m still interested in a clear answer to the original question about why giving $NAME the lexical context of the passed-in syntax object is not enough.

I have attempted to give an explanation here:

Macros expanding to definitions

Macros expanding to definitions This post is about macros that expand into definitions. The examples will use syntax/parse, so all snippets work if they are preceded with: #lang racket (require (for-syntax racket/syntax syntax/parse)) Scope sets and bindings The first example is the macro define-a. 1 (define-syntax (define-a stx) 2 (syntax-parse stx 3 [(_define-a expr) 4 #'(define a expr)])) 5 6 (define-a 42) 7 a ; unbound identifier The variable reference a on…

The problem in the original was the macro expansion used name-pt without
adjusting the context. The identifiers were given a scope, so they could be used
in the code returned from parse-diagram, but not where parse-diagram was called.