From 4f020016bf1c0c25ece8cfb4815c095caaa0e08f Mon Sep 17 00:00:00 2001 From: Romain Tetley Date: Fri, 14 Jun 2024 13:09:24 +0200 Subject: [PATCH] Debugging parse error quickfixes --- language-server/dm/documentManager.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/language-server/dm/documentManager.ml b/language-server/dm/documentManager.ml index c80a64da..70a3029d 100644 --- 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",