You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Until ocaml-lsp-server 1.16, the OCaml Platform extension for VSCode correctly showed types above functions (with VSCode's "CodeLens"). As of 1.16, CodeLens type hints are no longer displayed. Types on hover continue to work.
ocaml-lsp-server.1.15.1-5.0:
ocaml-lsp-server.1.16.2 and 1.16.2:
A minimal example is to create one switch for each of the two versions:
The linked commit does not provide any context. The relevant discussion is rather in #1134. I don't have much to add to that discussion, but I would agree with Khady that dropping this feature by default before inlay hints are available effectively leaves users with a broken development experience.
The relevant fix for the VSCode extension is ocamllabs/vscode-ocaml-platform#1157. Until that is available in a release, is there any way of re-enabling CodeLens without compiling from source? For now, my solution is to install "ocaml-lsp-server<1.16", but that's obviously not a proper solution.
Until
ocaml-lsp-server
1.16, the OCaml Platform extension for VSCode correctly showed types above functions (with VSCode's "CodeLens"). As of 1.16, CodeLens type hints are no longer displayed. Types on hover continue to work.ocaml-lsp-server.1.15.1-5.0
:ocaml-lsp-server.1.16.2
and1.16.2
:A minimal example is to create one switch for each of the two versions:
opam switch create 5.0.0+lsp.1.15 5.0.0 opam switch 5.0.0+lsp.1.15 opam install "ocaml-lsp-server<1.16"
and
opam switch create 5.0.0+lsp.1.16 5.0.0 opam switch 5.0.0+lsp.1.16 opam install "ocaml-lsp-server>=1.16"
A simple project with a
dune
,dune-project
, and singleml
source file shows the problem.OCaml version: 5.0.0 as per the
switch create
commands above.System: Linux Mint, like Ubuntu
VScode version: VSCodium 1.80.0
The text was updated successfully, but these errors were encountered: