feat: add doc string support

WIP
coq · Jan 20, 2025 · 1439af4 · 1439af4
1 parent 8333f37
commit 1439af4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/language-server/dm/document.ml b/language-server/dm/document.ml
@@ -92,6 +92,7 @@ type document = {
   sentences_by_end : sentence LM.t;
   parsing_errors_by_end : parsing_error LM.t;
   comments_by_end : comment LM.t;
+  hover_info : HoverInfo.t;
   schedule : Scheduler.schedule;
   outline : outline;
   parsed_loc : int;
@@ -676,6 +677,7 @@ let create_document init_synterp_state text =
       outline = [];
       init_synterp_state;
       cancel_handle = None;
+      hover_info = HoverInfo.empty ();
     }
 
 let apply_text_edit document edit =