Unable to connect to a running Idris repl

[senorsmile]

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]

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]

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.