Debugging parse error quickfixes

coq-community · Jun 14, 2024 · 4f02001 · 4f02001
1 parent fff1e34
commit 4f02001
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/language-server/dm/documentManager.ml b/language-server/dm/documentManager.ml
@@ -182,8 +182,8 @@ let mk_diag st (id,(lvl,oloc,msg)) =
 let mk_error_diag st (id,(oloc,msg,qf)) = (* mk_diag st (id,(Feedback.Error,oloc, msg)) *)
   let code = 
     match qf with
-    | None -> None
-    | Some qf ->
+    | None -> log "NO ERROR QUICKFIX"; None
+    | Some qf -> log "ERROR QUICKFIX";
       let code : Jsonrpc.Id.t * Lsp.Import.Json.t =
         let open Lsp.Import.Json in
         (`String "quickfix-replace",
@@ -209,8 +209,8 @@ let mk_parsing_error_diag st Document.{ msg = (oloc,msg); start; stop; qf } =
   let range = Range.{ start; end_ } in
   let code = 
     match qf with
-    | None -> None
-    | Some qf ->
+    | None -> log "NO PARSING ERROR QUICKFIX"; None
+    | Some qf -> log "PARSING ERROR QUICKFIX";
       let code : Jsonrpc.Id.t * Lsp.Import.Json.t =
         let open Lsp.Import.Json in
         (`String "quickfix-replace",