Different symbol kinds for theorem_kind and definition_kind

coq · Jun 24, 2024 · 0bc27c4 · 0bc27c4
1 parent 48568a4
commit 0bc27c4
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/language-server/dm/documentManager.ml b/language-server/dm/documentManager.ml
@@ -191,8 +191,11 @@ let reset_to_top st =
 let get_document_symbols st =
   let outline = Document.outline st.document in
   let to_document_symbol elem =
-    let Document.{name; statement; range} = elem in
-    let kind = SymbolKind.Function in
+    let Document.{name; statement; range; type_} = elem in
+    let kind = begin match type_ with
+    | TheoremKind _ -> SymbolKind.Function
+    | DefinitionType _ ->SymbolKind.Variable
+    end in
     DocumentSymbol.{name; detail=(Some statement); kind; range; selectionRange=range; children=None; deprecated=None; tags=None;}
   in
   List.map to_document_symbol outline