Print exception backtraces in LSP.

Signed-off-by: Karolis Petrauskas <[email protected]>
tlaplus · Aug 31, 2024 · 9a6cadd · 9a6cadd
1 parent 9c27e42
commit 9a6cadd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lsp/lib/server/handlers.ml b/lsp/lib/server/handlers.ml
@@ -351,7 +351,8 @@ module Make (CB : Callbacks) = struct
         with exc ->
           let open Jsonrpc.Response.Error in
           let exc_str = Printexc.to_string exc in
-          Eio.traceln "LSP request failed with exception %s" exc_str;
+          let exc_btr = Printexc.get_backtrace () in
+          Eio.traceln "LSP request failed with exception %s, backtrace:\n%s" exc_str exc_btr;
           reply_error req Code.InternalError exc_str state)
     | Response resp -> handle_jsonrpc_response resp state
     | Batch_call sub_packets ->