From 0d7f348aa9491a13aea9604397d598b368268705 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 23 Apr 2024 11:32:29 -0400 Subject: [PATCH] fix compilation on < 5.xx --- src/core/coop_lock.ml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/core/coop_lock.ml b/src/core/coop_lock.ml index 469d4ae4..df2446c4 100644 --- a/src/core/coop_lock.ml +++ b/src/core/coop_lock.ml @@ -23,6 +23,8 @@ let try_lock_ (self : 'a t) : 'a option = else None +[@@@ifge 5.0] + let rec lock_ (self : 'a t) : 'a = let old = A.get self.st in if old.locked then ( @@ -104,3 +106,5 @@ let with_try_lock self f = let bt = Printexc.get_raw_backtrace () in unlock_ self x; Printexc.raise_with_backtrace e bt) + +[@@@endif]