-
-
Notifications
You must be signed in to change notification settings - Fork 391
Hoogle it for unknown symbol #3187
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
Comments
Very useful, but will it get chaotic sometimes and may feel spammy to the user? |
People can disable it anytime, and I think there won't be so many unknown symbols at once. |
Yep! Then this will be pretty useful and fast for the users who want it. |
Why only unknown symbols? I might want to |
@jneira told me we have some attempts for hoogle integration, it's fine to have a hover. But for unknown symbols, I just want to redirect users to the hoogle web page because of worrying about the size of hoogle. |
I don't think adding a Hoogle code action that will pop up for every single squiggly is going to be well received by users. On the other hand, a hover that presents a Hoogle link for identifiers that lack documentation might be useful |
Strongly agree with this.
Following your thought, what should be displayed while hovering on unknown symbols like |
Same as for known symbols without docs, hover should show a link to Hoogle it. I should also point out that the screenshot that you shared in the issue description is very different from what I see in my HLS installation. Do you not have the ghcide plugins enabled? Maybe you are on 9.4? |
Yes, I'm on 9.4. Emm, sounds great! So you are thinking to add a link like https://hoogle.haskell.org/?hoogle=getFirst for any symbols without docs(including unknown symbols)? |
As the image shows, I hope we can add a code action to hoogle it for unknown symbols
The text was updated successfully, but these errors were encountered: