diff --git a/src/core/suspend_.ml b/src/core/suspend_.ml index 05f9aa96..44ac324d 100644 --- a/src/core/suspend_.ml +++ b/src/core/suspend_.ml @@ -1,8 +1,6 @@ type suspension = unit Exn_bt.result -> unit type task = unit -> unit -[@@@ifge 5.0] - type suspension_handler = { handle: run:(task -> unit) -> @@ -12,6 +10,7 @@ type suspension_handler = { } [@@unboxed] +[@@@ifge 5.0] [@@@ocaml.alert "-unstable"] module A = Atomic_ diff --git a/src/core/suspend_.mli b/src/core/suspend_.mli index 842d77f1..de90e2d4 100644 --- a/src/core/suspend_.mli +++ b/src/core/suspend_.mli @@ -6,8 +6,6 @@ type suspension = unit Exn_bt.result -> unit (** A suspended computation *) -[@@@ifge 5.0] - type task = unit -> unit type suspension_handler = { @@ -40,6 +38,7 @@ type suspension_handler = { - use [resume] exactly *) +[@@@ifge 5.0] [@@@ocaml.alert "-unstable"] type _ Effect.t +=