New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
syntax_meta.flip_introduce
can lead to ambiguous bindings
#341
Comments
Thanks for this report! I think the blame here belongs on the attempted use of Doing the right thing will be easier if I provide a variant of |
To my understanding, The definition and use site of a macro may be distinguished by many scopes other than the macro and use-site scopes, like module scopes, so a macro can't make an identifier match the use-site just by flipping the macro and use scopes. |
Related to racket#341 and racket#474.
This arises during an attempt to fix Shplait’s
let
not using the original identifier. The following code defines two versions oflet
in terms of nested definition contexts, but only the version usingSyntax.replace_scopes
works as expected:Shplait’s version of
let
currently is missing unquotes inside the template, therefore hiding this bug.The text was updated successfully, but these errors were encountered: