[new release] ocaml-lsp-server, lsp and jsonrpc (1.12.3)

[rgrinberg]

LSP Server for OCaml

• Project page: https://github.com/ocaml/ocaml-lsp

CHANGES:

Fixes

• Fix a bad interaction between inferred interfaces and promotion code actions
  in watch mode (fix(ocamllsp): infer intf for closed docs ocaml-lsp#753)

• Fix URI parsing (Improve uri parsing ocaml-lsp#739 fixes Not handling spaces in parent directory name ocaml-lsp#471 and Problems when non-ASCII characters in folder name ocaml-lsp#459)

[mseri]

uri needs a lower bound:

# (cd _build/default && /home/opam/.opam/4.12/bin/ocamlc.opt -w -40 -alert -unstable -g -bin-annot -I lsp/src/.lsp.objs/byte -I /home/opam/.opam/4.12/lib/dyn -I /home/opam/.opam/4.12/lib/jsonrpc -I /home/opam/.opam/4.12/lib/ppx_yojson_conv_lib -I /home/opam/.opam/4.12/lib/uri -I /home/opam/.opam/4.12/lib/uutf -I /home/opam/.opam/4.12/lib/yojson -intf-suffix .ml -no-alias-deps -open Lsp__ -o lsp/src/.lsp.objs/byte/lsp__Uri0.cmo -c -impl lsp/src/uri0.ml)
# File "lsp/src/uri0.ml", line 63, characters 28-67:
# 63 |   Uri.pct_encode ~component:(`Custom (`Generic, allowed_chars, "")) s
#                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Error: This expression has type
#          [> `Custom of [> `Generic ] * string * string ]
#        but an expression was expected of type Uri.component
#        The second variant type does not allow tag(s) `Custom
# (cd _build/default && /home/opam/.opam/4.12/bin/ocamlopt.opt -w -40 -alert -unstable -g -I lsp/src/.lsp.objs/byte -I lsp/src/.lsp.objs/native -I /home/opam/.opam/4.12/lib/dyn -I /home/opam/.opam/4.12/lib/jsonrpc -I /home/opam/.opam/4.12/lib/ppx_yojson_conv_lib -I /home/opam/.opam/4.12/lib/uri -I /home/opam/.opam/4.12/lib/uutf -I /home/opam/.opam/4.12/lib/yojson -intf-suffix .ml -no-alias-deps -open Lsp__ -o lsp/src/.lsp.objs/native/lsp__Uri0.cmx -c -impl lsp/src/uri0.ml)
# File "lsp/src/uri0.ml", line 63, characters 28-67:
# 63 |   Uri.pct_encode ~component:(`Custom (`Generic, allowed_chars, "")) s
#                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Error: This expression has type
#          [> `Custom of [> `Generic ] * string * string ]
#        but an expression was expected of type Uri.component
#        The second variant type does not allow tag(s) `Custom

[rgrinberg]

Thanks for noticing. Do you mind fixing it here? I'll do it upstream

[rgrinberg]

@mseri @kit-ty-kate gentle ping

[kit-ty-kate]

Oops, sorry i forgot about this one. Thanks! Could you return the fixes to the opam files upstream?

[rgrinberg]

Will do. Thanks for the quick response