Retrieve name of defined variable in a syntax form in the expr of define form

[Jos Koot]

Hi

Consider:

(define-syntax (my-syntax stx)  blah ...)

(define x (my-syntax blah ...)

Is it possible for syntax my-syntax such as to know (at expansion time) that is used as the expr of variable x in the expression of the definition? Probably this is possible by redefining syntax define, but can I do it without touching syntax define?

Thanks, Jos

[Matthew Flatt]

If you're just interested in the symbolic name "x", as opposed to the
binding identifier, then see `syntax-local-name` or
`syntax-local-infer-name`.

If you want the binding identifier, though, that's not available.

Matthew

[Jos Koot]

Thanks for your quick reply.

Yes I want the binding identifier. Alas.

Nevertheless I am happy with the separation between expansion time and run time.

I have decided not to redefine define.

Jos

[Jos Koot]

At second thought I'll use syntax-local-name to infer names to structs

(in an immutable field and using prop:custom-write)

Does not give me the variable in which an instance originally was defined,

but that is less important .

Not being able to spot the original definition of an instance in case of an error

while using the instance later on, well that I can live with.

Thanks again, Jos