This would be very cool! State of the project?

[cdfa]

Hi! I've just searched half the internet trying to find this. At least I think so, because this repo does not tell me much about what it is or what LSP features should work.

I understand that this is part of the CodeDown system, but I can't gather much information about that either at the moment, because codedown.io is broken. Maybe I can actually use it do to what I want, so I tried to create an account, but I didn't get a confirmation email.

Anyway, I'm curious if this language server is customized to work with CodeDown or if it would be possible to use it in other IDEs such as VS code. And what LSP features are implemented?

Keep up the good work!

[thomasjm]

Hello,

This package transforms "notebook-style" Haskell code such as that used by IHaskell so that it can be used with HLS. It provides bread-and-butter features at the moment like completion, hover, document highlight, etc. The goal is to support all the LSP features provided by HLS.

It's fairly CodeDown-specific because of how it works with raw text, like any other language server. If one were trying to support e.g. VSCode notebooks, it would probably make sense to implement a similar approach within HLS itself as part of the new notebooks extensions to the LSP spec.

Sorry about the codedown.io issue, it's not quite ready for the public at the moment. Want to be a beta tester? I can set you up an account if so.

Also coming soon (hopefully) is a desktop version.

[cdfa]

Ah okay, so this language server does not use the notebook extensions to the LSP spec, but some other mechanics specific to CodeDown? If I understood that correctly, I'll create an issue with HLS to support the LSP spec extensions.

I'd love to try out CodeDown! Programming environments are a hobby of mine as well, so it would definitely be interesting :).