Skip to content
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.

Sign up for GitHub

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

Jump to bottom

bytes is not marked as a reserved keyword #663

Closed
Xanewok opened this issue Nov 16, 2023 · 0 comments · Fixed by #685
Closed

bytes is not marked as a reserved keyword #663

Xanewok opened this issue Nov 16, 2023 · 0 comments · Fixed by #685
Labels
bug Something isn't working

Comments

@Xanewok
Copy link
Contributor

Xanewok commented Nov 16, 2023

Found in #662

Currently, our rules only reserve bytesN for N in (1..32) but also just the bytes atom, without the specified size, also cannot be used as an identifier.
@Xanewok Xanewok added the bug Something isn't working label Nov 16, 2023
@Xanewok Xanewok changed the title The bytes is a reserved keyword bytes is not marked as a reserved keyword Nov 16, 2023
@Xanewok Xanewok mentioned this issue Dec 1, 2023
Merged
github-merge-queue bot pushed a commit that referenced this issue Dec 4, 2023
@Xanewok
Properly recognize just bytes as a reserved keyword (#685)
b5fca94 
Fixes #663
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
No open projects
Slang - 2023 Q4
Status: No status
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Properly recognize just bytes as a reserved keyword Xanewok/slang
1 participant
@Xanewok