-
Notifications
You must be signed in to change notification settings - Fork 10
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
Hovering over contents of a new takes about one minute #58
Comments
It sounds like an issue with the idris2 process starting. Can you run |
Hey, I have the same issue. Running > idris2 --ide-mode --find-ipkg
000018(:protocol-version 2 0) Is there something else I can try in order to debug this? Thanks! |
Are you also using 0.4.0, and do you have an example of a repo where this is happening? I'm testing on the Idris2 repo because most people have that, but it's a bit problematic because the The best way to test is to clone this repo, change line 76 in src/state.ts to
If it's not working for some reason, like the ipkg thing, it won't show anything after the |
Thanks! This is a snippet where I can reproduce it and I've made a screencast of the issue: demo.mp4First I hover over I'm running Ubuntu 20.04 and I've built Idris 2 from source ( |
I just tested #60, and it actually seems to fix this issue for me! |
That's really helpful, thanks for making that. Looking at it, it might have been that bug after all. In the worst case when you hover between words, it was trying to type check the whole document, and then got stuck. |
#60 was a bug in that it was evaluating both the early-out code-paths and the long-form code paths, but returning immediately regardless. I do believe, however, that there's still a bug- the final This, however, will mean that the promise in question won't insta-return, and something may currently be relying on that bug to function. Edit: Disregard this- I misread the PR context, and assumed |
That fix is released in the 0.0.10 version. |
After opening a file in editor, hovering over a function name only sees the message "loading...", it takes about a minute to finally see the type information, and during this time, the chezscheme processing running idris2.so is spinning CPU at 100%.
The same behavior happens regardless of whether the Hover Action is set to "Type Of" or "Type At". However, when the hover action is set to "Type At", hovering over certain locally defined function would trigger the loading issue every time. I have not been able to reproduce the issue on all locally defined functions though.
Environment:
Idris 2, version 0.4.0-f77670814
idris-vscode v.0.0.9
Maybe it's a version mismatch between idris2 and idris-vscode?
The text was updated successfully, but these errors were encountered: