search

rikvdkleij / intellij-haskell

IntelliJ plugin for Haskell
https://rikvdkleij.github.io/intellij-haskell/
Apache License 2.0
1.31k stars 94 forks source link

No documentation available as Hoogle (database) isn't available #572

Closed thisisnotamerica closed 4 years ago

thisisnotamerica commented 4 years ago

Hello, sorry i'm really noob. Try to install local Hoogle, stack build --haddock-deps stack hoogle hoogle generate

doesnt work. (i havent "Haskell" in "Tools")

rikvdkleij commented 4 years ago

The plugin will automatically install hoogle and when a project is imported/opened, a notification popups which tells about the option to generate the hoogle db.

JKTKops commented 4 years ago

I have the same problem. The popup appears, but the directory the plugin says it installs the tools to (AppData/Local/rikvdkleij/intellij-haskell/cache/lts-15/bin) does not exist (although .../lts-15 does). The "(Re)Build Hoogle database" option is grayed out and there is no "Haskell" option in the Tools menu.

rikvdkleij commented 4 years ago

@JKTKops on windows I have seen similar problems before because of permission issues or some kind of virus scanner which runs in the background . Can also be that your project is not recognized as Haskell project but I can only guess because of no further info.

JKTKops commented 4 years ago

It is recognized as Haskell (if nothing else, I have custom Haskell syntax coloring which is being applied). I am on Windows, I'm not sure what permission issues would be causing problems but I do have a virus scanner. I could try temporarily disabling it, but not for a few hours as I'm currently working.

moritzploss commented 4 years ago

Having the same issue on macOS Catalina. I get the notification pop-up, but the menu item is greyed out, and I get "No documentation..." on hover.

rikvdkleij commented 4 years ago

@moritzploss That could mean that for some reason the hoogle executable is not automatically built (successfully)

moritzploss commented 4 years ago

Thanks @rikvdkleij ! After some digging I found that my company's Cylance Antivirus was blocking it, so I guess it's not just a Windows issue. I haven't found a workaround so far and had to switch to another computer (works perfectly now!). Thanks for this great plugin!

rikvdkleij commented 4 years ago

@moritzploss Thanks for your reply. Great to hear you have found the cause and are happy with the plugin!

rikvdkleij commented 4 years ago

Please reopen if still an issue.