Using the asynchronous support in Vim 8

[melted]

Can that help bring more ide-mode features in?

[LeifW]

I was looking into that myself (using http://vimhelp.appspot.com/channel.txt.html for http://docs.idris-lang.org/en/latest/reference/ide-protocol.html).
Apparently older versions supported that, too. I was playing around with driving my vim 7.4.2334 from Haskell, using these commands (to avoid writing vimscript): http://vimhelp.appspot.com/channel.txt.html#channel-commands).
So for a case split for example, I could have it send the normal mode commands dd followed by p = followed by the new line to be added.

I was thinking I might like of offer a json version of the ide protocol, to avoid writing an s-expr parser. Most editors I can think of come with a json parser.

[david-christiansen]

A sexpr parser is like 10 lines typically, so I don't think that making Idris emit 2 syntaxes is worth the maintenance burden. Though we could completely replace the protocol, I suppose.

On September 22, 2016 11:22:55 AM GMT+09:00, Leif Warner [email protected] wrote:

I was looking into that myself (using
http://vimhelp.appspot.com/channel.txt.html for
http://docs.idris-lang.org/en/latest/reference/ide-protocol.html).
Apparently older versions supported that, too. I was playing around
with driving my vim 7.4.2334 from Haskell, using these commands (to
avoid writing vimscript):
http://vimhelp.appspot.com/channel.txt.html#channel-commands).
So for a case split for example, I could have it send the normal mode
commands dd followed by p = followed by the new line to be added.

I was thinking I might like of offer a json version of the ide
protocol, to avoid writing an s-expr parser. Most editors I can think
of come with a json parser.