Unable to connect to a running Idris repl

idris-hackers / idris-vim

Idris mode for vim

221 stars 52 forks source link

Closed pe200012 closed 6 years ago

pe200012 commented 6 years ago

The funcionality is broken. Whenver I send a conmmand, the message shows up.

Unable to connect to a running Idris repl

I built idris from source (using stack), does it cause the problem?

zenntenn commented 6 years ago

You need to have an instance of Idris running for idris-vim to connect to it.

pe200012 commented 6 years ago

It did solve the problem... I think it would be better if it behaves like how Merlin behaves. Anyway, thank you.