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
identifiers with dots in them #445
Comments
The relevant changes was 9c5ebbd. I knew that |
I can change the identifier! No problem!
Robby
…On Tue, Dec 19, 2023 at 4:17 PM Matthew Flatt ***@***.***> wrote:
The relevant changes was 9c5ebbd
<9c5ebbd>.
I knew that . in imported Racket identifiers would be an issue, but I
didn't expect it to be an issue right away. I'm not immediately certain of
the repair, but I think it can be fixed.
—
Reply to this email directly, view it on GitHub
<#445 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AADBNMGAFR2ZVNSVOLNDJ3DYKIG6BAVCNFSM6AAAAABA33BUY6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQNRTGU2DQOBVGI>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
|
Can we keep this open to track the issue? |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It seems like something has broken identifiers with dots in them (the original error that tipped me off is here).
For example, with this file:
where
y.rkt
has:produces the error:
The text was updated successfully, but these errors were encountered: