From 3d267acfaabf8237f81e92f3ecbac6c85762467e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 2 Mar 2023 16:09:43 +0100
Subject: [PATCH] [server] debug markers
---
src/plugins/server/kernel_ast.ml | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/src/plugins/server/kernel_ast.ml b/src/plugins/server/kernel_ast.ml
index 6864cbb2b69..d187d17fb95 100644
--- a/src/plugins/server/kernel_ast.ml
+++ b/src/plugins/server/kernel_ast.ml
@@ -748,6 +748,19 @@ let () = Information.register
Format.fprintf fmt "%d bytes" bytes
end
+let () = Information.register
+ ~id:"kernel.ast.marker"
+ ~label:"Marker"
+ ~title:"Ivette marker (for debugging)"
+ ~enable:(fun _ -> Server_parameters.debug_atleast 1)
+ begin fun fmt loc ->
+ let tag = Marker.create_tag loc in
+ Format.fprintf fmt "%S" tag
+ end
+
+let () = Server_parameters.Debug.add_hook_on_update
+ (fun _ -> Information.update ())
+
(* -------------------------------------------------------------------------- *)
(* --- Marker at a position --- *)
(* -------------------------------------------------------------------------- *)
--
GitLab