Skip to content

Conversation

@Tim-ats-d
Copy link
Contributor

@Tim-ats-d Tim-ats-d commented Oct 27, 2025

Previously the parameter was named with underscore (for_nested_bindings) which cause a malformed displaying in the VSCcode options panel. This PR renames it forNestedBindings for the sake of uniformity with other parameters.

@Tim-ats-d Tim-ats-d changed the title Configurable internal code lens Rename parameter used to configure nested bindings Oct 27, 2025
@Tim-ats-d Tim-ats-d force-pushed the configurable-internal-code-lens branch 3 times, most recently from 84125d9 to da64744 Compare October 27, 2025 14:15
@voodoos
Copy link
Collaborator

voodoos commented Oct 27, 2025

@Tim-ats-d could you rebase on master so that the CI could run ?

@Tim-ats-d Tim-ats-d force-pushed the configurable-internal-code-lens branch from 36eaf95 to f6781f0 Compare October 27, 2025 15:58
@voodoos voodoos merged commit 8403a24 into ocaml:master Oct 27, 2025
3 of 6 checks passed
@voodoos
Copy link
Collaborator

voodoos commented Oct 27, 2025

Thanks !

Also, I think we want a capability to ensure good support from the client side, wdyt @xvw

@xvw
Copy link
Collaborator

xvw commented Oct 27, 2025

Are capabilities really useful for configuration? Since the JSON decodeur allows extra fields?

davesnx added a commit to davesnx/ocaml-lsp that referenced this pull request Nov 3, 2025
…rmat-mlx

* 'master' of github.com:/ocaml/ocaml-lsp:
  Rename parameter used to configure nested bindings. (ocaml#1568)
  Upgrade to ocamlformat 0.28.1 (ocaml#1569)
  Improve precision of duration field in `view-metrics` (ocaml#1565)
  Make `code-lens` for toplevel let binding configurable (ocaml#1567)
  Fix 5.4 CI
  Enable support for OCaml 5.4 and prepare release 1.24.0 (ocaml#1559)
  Prepare release 1.23.1 (ocaml#1558)
davesnx pushed a commit to davesnx/ocaml-lsp that referenced this pull request Nov 26, 2025
davesnx pushed a commit to davesnx/ocaml-lsp that referenced this pull request Nov 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants