search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Unable to connect to a running Idris repl #94

Open senorsmile opened 4 years ago

senorsmile commented 4 years ago

I assume this is due to the ambiguous line in the readme:

If you need a REPL I recommend using Vimshell.

On vimshell, it says

Note: Active developement on vimshell.vim has stopped. The only future changes will be bug fixes.

Is a REPL needed? If so, what do people use today and how does one set it up?

CodingCellist commented 4 years ago

Try running the REPL in a different terminal, or starting the REPL and then using :e or :edit to open an editor (it will be whichever editor is defined in $EDITOR or $VISUAL)

Vim Idris mode requires a running REPL to work. As far as I understand it, the REPL also runs a server which can be used for IDEs to interface with using the IDE protocol. The original guide to interactive editing with Idris also states that you must have a running REPL for it to work.

Let me know if that fixes things :)

senorsmile commented 4 years ago

I did install vimshell, but still couldn't get things working.

I finally found this comment: https://github.com/idris-hackers/idris-vim/issues/84#issuecomment-419638563

which does prove to work. Is this the only way to get this working in VIM? Let's at least add documentation in the readme of how to actually use it.