-
Notifications
You must be signed in to change notification settings - Fork 28
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
Intero neovim issues / early adopter feedback #9
Comments
Thanks for the feedback! For 1) you're not supposed to do
You may want to post the memory use issue on the intero repository. |
Allright, thanks. Anything on the buftype issue? I can overwrite that setting easily using intero-neovim/autoload/intero/process.vim Line 74 in 48f4cd2
|
Agreed, it's definitely a bug -- the terminal buffer should be |
The buftype issue is fixed as of d0379a8 :) Thanks for trying it out! |
And, the |
This might be a bug report (or a usability issue) it might also be just me approaching intero-neovim wrongly.
stack install intero
, it reports asI open a file with
nvim src/Foo.hs
:w
, I see a first error:E382: Cannot write, 'buftype' option is set
. This happensSo far my problems, what works?
:InteroDiagnostics
yields an errorE117: Unknown function: intero#diagnostics#report
:InteroOpen
opens a pane that shows a ghci session, my package seems to have compiled okay.:InteroLoadModule
seems successull, and I can inspect a type signature. So it basically works (although it took a while to find out how to use it).PS: While writing this issue, I experienced sudden memory consumption of the intero process. Not quite sure what was behind that, but I thought it was worth mentioning:
The text was updated successfully, but these errors were encountered: