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

QualfiedName in a reference of Inline Variable #53

Open
tsantalis opened this issue Mar 21, 2023 · 1 comment
Open

QualfiedName in a reference of Inline Variable #53

tsantalis opened this issue Mar 21, 2023 · 1 comment
Labels
Tree related This is directly related to the tree generation.

Comments

@tsantalis
Copy link

JetBrains/Arend@723ab1cf#diff-2ffe116f804e70f3a2c81d6ad4d3f6b47ca9a936dbf6eca727f2300279cda03eL410

There is an Inline Variable in this commit.
However the second reference is not matched, because it is part of a qualifiedName

Screenshot from 2023-03-21 13-28-04
@pouryafard75 pouryafard75 added the Tree related This is directly related to the tree generation. label Mar 21, 2023
@pouryafard75
Copy link
Owner

Similar to #20

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Tree related This is directly related to the tree generation.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tsantalis @pouryafard75