implement TextDocumentDeclaration

ocaml · Nov 3, 2020 · ac2764e · ac2764e
1 parent 5fac596
commit ac2764e
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/ocaml-lsp-server/src/ocaml_lsp_server.ml b/ocaml-lsp-server/src/ocaml_lsp_server.ml
@@ -44,9 +44,10 @@ let initialize_info : InitializeResult.t =
         ]
     in
     ServerCapabilities.create ~textDocumentSync ~hoverProvider:(`Bool true)
-      ~definitionProvider:(`Bool true) ~typeDefinitionProvider:(`Bool true)
-      ~completionProvider ~codeActionProvider ~codeLensProvider
-      ~referencesProvider:(`Bool true) ~documentHighlightProvider:(`Bool true)
+      ~declarationProvider:(`Bool true) ~definitionProvider:(`Bool true)
+      ~typeDefinitionProvider:(`Bool true) ~completionProvider
+      ~codeActionProvider ~codeLensProvider ~referencesProvider:(`Bool true)
+      ~documentHighlightProvider:(`Bool true)
       ~documentFormattingProvider:(`Bool true)
       ~selectionRangeProvider:(`Bool true) ~documentSymbolProvider:(`Bool true)
       ~foldingRangeProvider:(`Bool true) ~experimental ~renameProvider ()
@@ -553,7 +554,10 @@ let ocaml_on_request :
     let open Fiber.O in
     let+ symbols = Document_symbol.run client_capabilities doc uri in
     Ok (Some symbols, state)
-  | Client_request.TextDocumentDeclaration _ -> Fiber.return @@ Ok (None, state)
+  | Client_request.TextDocumentDeclaration { textDocument = { uri }; position }
+    ->
+    definition_query state uri position (fun pos ->
+        Query_protocol.Locate (None, `MLI, pos))
   | Client_request.TextDocumentDefinition { textDocument = { uri }; position }
     ->
     definition_query state uri position (fun pos ->