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.

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

:InteroTypeGeneric does not work with ghci backend #133

Open
gilligan opened this issue Jan 25, 2018 · 1 comment
Open

:InteroTypeGeneric does not work with ghci backend #133

gilligan opened this issue Jan 25, 2018 · 1 comment
Labels
bug ghci-backend This issue relates to the GHCi backend. help wanted

Comments

@gilligan
Copy link
Contributor

I am using intero-nvim with ghci as backend provider (ghc 8.22). When I execute :interoTypeGeneric I get:

*Lib> :type-at "src/Lib.hs" 51 1 51 10 startApp
Couldn't guess that module name. Does it exist?   

The correct invocation for ghci would be:

*Lib> :type-at Lib 51 1 51 10 startApp

Note that :InteroTypeInsert works because it does actually use that syntax. My guess is that the invocation for :InteroTypeAt should be the same as for InteroTypeInsert and this would fix the problem?

@parsonsmatt parsonsmatt added bug help wanted ghci-backend This issue relates to the GHCi backend. labels Apr 21, 2018
@nghamilton
Copy link

After a lot bit of stuffing around, I was able to get something working (which means also cabal new-* now works as well). There's probably a better way by modifying the intero-neovim plugin, but this does what I need:

" Load up the current file in ghci (which magically works with cabal new-build) to - requires .ghci file (either project or global) to include `:set +c` ghc option
let g:intero_backend = { 'command': 'ghci', 'options': '-Wall -i ' . @%}

johnmendonca added a commit to johnmendonca/intero-neovim that referenced this issue Jul 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug ghci-backend This issue relates to the GHCi backend. help wanted
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants