From c8e99fd7ee09f60b35bcccf2f47d848caaefe401 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 3 Feb 2024 00:50:08 -0500 Subject: [PATCH] cleanup --- src/fib/fiber.ml | 2 -- src/fib/fiber.mli | 8 -------- 2 files changed, 10 deletions(-) diff --git a/src/fib/fiber.ml b/src/fib/fiber.ml index b3d2ab91..25a4485e 100644 --- a/src/fib/fiber.ml +++ b/src/fib/fiber.ml @@ -144,8 +144,6 @@ let add_child_ ~protect (self : _ t) (child : _ t) = () done -exception Cancelled of Exn_bt.t - (** Key to access the current fiber. *) let k_current_fiber : any option Task_local_storage.key = Task_local_storage.new_key ~init:(fun () -> None) () diff --git a/src/fib/fiber.mli b/src/fib/fiber.mli index 48da542c..dc60b001 100644 --- a/src/fib/fiber.mli +++ b/src/fib/fiber.mli @@ -9,10 +9,6 @@ of structured concurrency *) -(**/**) - -(**/**) - type 'a t (** A fiber returning a value of type ['a]. *) @@ -48,10 +44,6 @@ val yield : unit -> unit (** Yield control to the scheduler from the current fiber. @raise Failure if not run from inside a fiber. *) -exception Cancelled of Exn_bt.t -(** Exception for fibers that are cancelled. Polling points such - as {!yield} and {!await} will raise this if the fiber has been cancelled. *) - val with_cancel_callback : _ t -> cancel_callback -> (unit -> 'a) -> 'a (** [with_cancel_callback fib cb (fun () -> )] evaluates [e] in a scope in which, if the fiber [fib] is cancelled,