LSP server: missing decoding of percent-encoded URI's into filenames

[fblanqui]

In Emacs, I get the following error when I am opening a file with some require command in a directory whose path contains non-ascii characters:

: Root state is missing probably because new_doc raised an exception

[fblanqui]

With VSCode, we get the following error:

/home/blanqui/T%C3%A9l%C3%A9chargements/lpProof_sur_cantor/extt.lp cannot be mapped under the library root.
Consider adding a package file under your source tree, or use the [--map-dir] option.

[fblanqui]

Here is some part of /tmp/lambdapi_lsp_log.txt:

            "workspaceFolders": [
              {
                "uri": "file:///home/blanqui/T%C3%A9l%C3%A9chargements/lpProof_sur_cantor",
                "name": "~/Téléchargements/lpProof_sur_cantor/"
              }

There is a difference between the uri and the actual filename. In uri's, accents are replaced by some special character sequences. But, later, lambdapi is asked to read files whose names are built from the uri. Uri's need to be translated to normal filenames.

[fblanqui]

We should use pct_decode in https://ocaml.org/p/uri/2.0.0/doc/Uri/index.html wherever an uri is used as a filename: new_doc, check_text in lp_doc.