-
Notifications
You must be signed in to change notification settings - Fork 12
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
Exception copy is buggy #41
Comments
I believe this affects more things than just exception copy. Basically whenever in the grammar we have a name or path that is a usage site that is not directly inside exp or pat, we don’t provide jump to def for that. This is because the current way we do jump to def is by storing information for the exp or pat idx. We don’t have a way to store jump to def info for an an arbitrary path nested in some gramma structure, such as exception copy or where type. |
Environment
Steps to reproduce
Given
Try to e.g.:
A
for doc.A
from the usage ofA
.Expected behavior
It works.
Actual behavior
It doesn't.
The text was updated successfully, but these errors were encountered: