From 2242ef47e91f007baff17cfe0e8a0a5c372a827a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 17 Dec 2024 13:47:49 +0100
Subject: [PATCH] The range type is used only with the application int option
and its serializer are defined as such.
---
src/plugins/dive/build.mli | 2 +-
src/plugins/dive/dive_types.ml | 10 +++++-----
src/plugins/dive/server_interface.ml | 4 ++--
3 files changed, 8 insertions(+), 8 deletions(-)
diff --git a/src/plugins/dive/build.mli b/src/plugins/dive/build.mli
index b4be1c5807d..0f494984a6d 100644
--- a/src/plugins/dive/build.mli
+++ b/src/plugins/dive/build.mli
@@ -38,4 +38,4 @@ val explore_backward : depth:int -> t -> node -> unit
val show : t -> node -> unit
val hide : t -> node -> unit
-val reduce_to_horizon : t -> int option range -> node -> unit
+val reduce_to_horizon : t -> range -> node -> unit
diff --git a/src/plugins/dive/dive_types.ml b/src/plugins/dive/dive_types.ml
index 732043390e4..057cb6ff6bd 100644
--- a/src/plugins/dive/dive_types.ml
+++ b/src/plugins/dive/dive_types.ml
@@ -76,12 +76,12 @@ type graph_diff = {
removed_nodes: node list;
}
-type 'a range = {
- backward: 'a;
- forward: 'a;
+type range = {
+ backward: int option;
+ forward: int option;
}
type window = {
- perception: int option range; (* depth of exploration *)
- horizon: int option range; (* hide beyond horizon ; None for infinite *)
+ perception: range; (* depth of exploration *)
+ horizon: range; (* hide beyond horizon ; None for infinite *)
}
diff --git a/src/plugins/dive/server_interface.ml b/src/plugins/dive/server_interface.ml
index dc881ea4522..f7280c57840 100644
--- a/src/plugins/dive/server_interface.ml
+++ b/src/plugins/dive/server_interface.ml
@@ -69,7 +69,7 @@ let origin_to_locations = function
callsites
-module Range : Data.S with type t = int option range =
+module Range : Data.S with type t = range =
struct
include Record ()
@@ -80,7 +80,7 @@ struct
let descr = "Parametrization of the exploration range."
include (val publish "range" ~descr)
- type t = int option range
+ type t = range
let to_json r=
default |>
--
GitLab