use idris-ide-client

[archaeron]

Work in progress to replace our own ide client with this:

https://github.com/meraymond2/idris-ide-client

[archaeron]

idris-ide-client doesn't handle ipkg files, so I started a project to parse them, so that we can reuse that part too between the atom and the vscode plugin:
https://github.com/archaeron/idris-ipkg

[archaeron]

@melted @justjoheinz

could you test this out? :)
it's not perfect at all, but baby steps.
The code is a lot less complex and many more things are typed

[justjoheinz]

I'll find some time at the beginning of next week. Glad to test.

[melted]

I'll check it out after work

[archaeron]

thank you!

[melted]

It's crashing in idris-ide-engine's replyHandler for me. Have to pin it down a bit more.

[archaeron]

@melted what OS and idris version are you on?
did you remember to do an npm install? (it's a bit annoying that one has to do that)

[melted]

Yes, I did npm install (well, after it failed because idris-ide-engine was missing). I used it on windows. I tested with both Idris 1.3.3 and Idris 2.

I'll have some time to debug it tomorrow.

[melted]

It's really weird, the messages gets sliced up wrong. It connects alright, including parsing the reply. Then when it sends a command (say Open REPL) and it gets an answer 000041(:write-string bla...), it takes 4 as the length and sends 1(:w to replyHandler.

And then it bombs the next time when rite-string bla..) is first in the buffer.

[melted]

Oh yeah, there's a stray newline in the buffer.

[archaeron]

idris2 is not yet supported by meraymond2/idris-ide-client but they are making good progress :)

thanks for testing and reporting the issue on the other repo! I had only tested this on Linux

[archaeron]

@melted I updated to the newest version of the idris-ide-client, where the windows issue should be fixed now

could you test it out again? :)

[melted]

Will do!

[justjoheinz]

I had been out of the loop for awhile. After needing to install a typescript peer dependency (I choose npm install --save typescript@^2.0.0) I get startup errors on lines where a question mark is used to check for non null parameters. E.g.

this.holesContainer ? .appendChild(this.prettyprintHoles(holes))

Anyone experienced the same?

[justjoheinz]

BTW, I tried the master branch, or which is the current working branch for the ts extensions?

[archaeron]

typescript version 2.0.0 is really old I'm guessing that's why you're getting those errors) you shouldn't need to install it yourself though.
What platform are you testing this on? so that I can try it out too

This is the branch where I try to switch to https://github.com/meraymond2/idris-ide-client. This should streamline our code and we share the implementation of the idris parts with the vscode extension. My plan would be to cut a new version after we've successfully switched.