Missing of_yojson for FlecheDocument module

[blackbird1128]

Describe the bug

There is no of_yojson function for the FlecheDocument module

To Reproduce

Steps to reproduce the behavior:

1. Get a JSON representation of the FlecheDocument using coq/getDocument
2. There is no function to convert to a FlecheDocument from the JSON.

Expected behavior

An implementation of of_yojson for this module.

Desktop

• Operating system: Ubuntu
• coq-lsp version: 0.1.8
• VS Code version: Not used here

Additional context

See https://coq.zulipchat.com/#narrow/channel/329642-coq-lsp/topic/coq-lsp.20and.20ocaml for more details

[ejgallego]

Thanks for the bug report.

To shed some light on this issue, this is mostly due to the way we handle Range in Flèche.

Flèche uses a range type that also includes offsets, which means we have a harder time de-serializing stuff that comes from the client without and offset.

I will try to open a discussion LSP upstream, meanwhile I will provide a workaround locally.