From ea1af6ed2225ef629ef3f76fe99206fad77edf15 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 4 Dec 2024 08:45:26 -0500 Subject: [PATCH] fix task local storage: type was too specific --- src/core/hmap_ls_.real.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/hmap_ls_.real.ml b/src/core/hmap_ls_.real.ml index 7d79316b..8a70b32d 100644 --- a/src/core/hmap_ls_.real.ml +++ b/src/core/hmap_ls_.real.ml @@ -41,7 +41,7 @@ let[@inline] set_in_local_hmap (k : 'a Hmap.key) (v : 'a) : unit = (** [with_in_local_hmap k v f] calls [f()] in a context where [k] is bound to [v] in the local hmap. Then it restores the previous binding for [k]. *) -let with_in_local_hmap (k : 'a Hmap.key) (v : 'a) f : unit = +let with_in_local_hmap (k : 'a Hmap.key) (v : 'a) f = let h = get_local_hmap () in match Hmap.find k h with | None ->