Emilio Jesús Gallego Arias

#205 made some progress towards this, however more work is needed, in particular as to integrate with Coq's special printer for comments. When a comment does happen in the middle...

Hi @rashchedrin , indeed this is not supported upstream; unless you are on an "Edit" branch, which we don't really support, I think Coq can only have one document, so...

Will release the `Fork` workaround in 0.12.1, full speculative execution is delayed to the next-gen engine.

Hi Clément, thanks, I hope you folks are doing well too! This is pretty similar to #191 , and it's been on the table for a while, I just lack...

Indeed, what we can provide for now is a wrapper to 8.12's: ``` val get_comments : t -> ((int * int) * string) list ```

> That would be very nice, indeed Still this defers the insertion of comments to the clients which is not ideal, the problem is that Coq doesn't recognize comments as...

#205 should help with this, will be included in the next release. Still far from what you would like [likely impossible to solve properly unless we introduce #5 first). For...

An OCaml implementation of LSP data structures is here: https://github.com/facebook/hhvm/blob/master/hphp/hack/src/utils/lsp.ml Would we get then a TODO list, it should be easy to support this in a basic sense. Some more...

This is well on the road and working now; it wouldn't be unreasonable to expect SerAPI to build on the LSP kernel for 0.7.0

@lilred as I mentioned in the other issue, there is an in-progress branch. If you can I can give you access, but we'd still like to rewrite the whole server...