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

Can’t go to definition when the cursor is at the right side of a term #8

Open
by-cloud opened this issue Oct 6, 2021 · 4 comments
Open

Can’t go to definition when the cursor is at the right side of a term #8

by-cloud opened this issue Oct 6, 2021 · 4 comments
Assignees
@imkiva
Labels
bug Something isn't working

Comments

@by-cloud
Copy link
Contributor

by-cloud commented Oct 6, 2021

VSCode shows notifications like “No definition found for ‘suc’”.
@ice1000
Copy link
Member

ice1000 commented Oct 6, 2021

https://github.com/aya-prover/aya-dev/blob/de31e4fbaed2c699ee56b068e484abaa42e89199/api/src/main/java/org/aya/api/error/SourcePos.java#L90

Does changing the above column <= endColumn to column + 1 <= endColumn solve the problem

@ice1000 ice1000 added the bug Something isn't working label Oct 6, 2021
@imkiva imkiva self-assigned this Oct 10, 2021
@imkiva
Copy link
Member

imkiva commented Oct 11, 2021

I cannot reproduce the problem. Can you describe what you did?

@ice1000
Copy link
Member

ice1000 commented Oct 11, 2021

Maybe putting the cursor at suc<cursor> and press the shortcut for goto def

@ice1000
Copy link
Member

ice1000 commented Oct 11, 2021

Not by ctrl+clicking

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@imkiva imkiva

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@imkiva @ice1000 @by-cloud