Skip to content

Conversation

@xvw
Copy link
Collaborator

@xvw xvw commented Dec 16, 2025

This PR adds three custom request:

Adding an optional parameter to definition/declaration/type-definition search queries posed problems because the parameter types are generated by the Cinaps preprocessor, hence the addition of a custom request (based on the LSP request code).

Copy link
Collaborator

@voodoos voodoos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, just need to sanitize the path in the test...

"end": { "character": 24, "line": 81 },
"start": { "character": 24, "line": 81 }
},
"uri": "file:///home/xvw/Projects/tarides/ocaml-lsp/_opam/lib/ocaml/list.ml"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oups

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.

[protocol] add an optional parameter for looking for a given identifier for definiton/declaration request

2 participants