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

A variable with the prefix import causes a crash due to import scanning #2927

Closed
janmasrovira opened this issue Jul 30, 2024 · 0 comments · Fixed by #2929
Closed

A variable with the prefix import causes a crash due to import scanning #2927

janmasrovira opened this issue Jul 30, 2024 · 0 comments · Fixed by #2929
Assignees
@janmasrovira
Labels
bug pending-review

Comments

@janmasrovira
Copy link
Collaborator

E.g.

module main;

axiom important : Type;
@janmasrovira janmasrovira self-assigned this Jul 30, 2024
@janmasrovira janmasrovira changed the title A variable with the substring import causes a crash due to import scanning A variable with the preifx import causes a crash due to import scanning Jul 30, 2024
@janmasrovira janmasrovira changed the title A variable with the preifx import causes a crash due to import scanning A variable with the prefix import causes a crash due to import scanning Jul 30, 2024
@janmasrovira janmasrovira linked a pull request Jul 30, 2024 that will close this issue
Fix scanning of names with import prefix #2929
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@janmasrovira janmasrovira

Labels
bug pending-review
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix scanning of names with import prefix anoma/juvix
1 participant
@janmasrovira