From 5ec076d7037bdf69ab8436d54aa0a8d368bc2fe9 Mon Sep 17 00:00:00 2001 From: Thomas Del Vecchio Date: Tue, 13 May 2025 09:35:33 -0400 Subject: [PATCH] Add inlined hint to `f` in Domain.Safe.DLS.access Signed-off-by: Thomas Del Vecchio --- stdlib/domain.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/stdlib/domain.ml b/stdlib/domain.ml index 50d9aea7048..5d37ae6af86 100644 --- a/stdlib/domain.ml +++ b/stdlib/domain.ml @@ -33,7 +33,7 @@ module Runtime_4 = struct end let[@inline] access f = - try f Access.Access with + try (f [@inlined hint]) Access.Access with | exn -> let bt = Printexc.get_raw_backtrace () in let exn_string = Printexc.to_string exn in @@ -185,7 +185,7 @@ module Runtime_5 = struct end let[@inline] access (f : Access.t -> 'a @ portable contended) = - try f Access.Access with + try (f [@inlined hint]) Access.Access with | exn -> let bt = Printexc.get_raw_backtrace () in let exn_string = Printexc.to_string exn in