feat: move hmap-fls to Fiber.Fls

This commit is contained in:
Simon Cruanes 2024-08-29 16:05:01 -04:00
parent 24a8a85481
commit 44e335e0b0
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
4 changed files with 9 additions and 8 deletions

View file

@ -330,5 +330,3 @@ let yield () : unit =
check_if_cancelled_ self;
PF.yield ();
check_if_cancelled_ self
include Hmap_fls

View file

@ -147,9 +147,3 @@ val spawn_ignore : ?protect:bool -> (unit -> _) -> unit
(** [spawn_ignore f] is [ignore (spawn f)].
The fiber will still affect termination of the parent, ie. the
parent will exit only after this new fiber exits. *)
(** {2 Local [Hmap.t]} *)
include module type of struct
include Hmap_fls
end

View file

@ -1 +1,2 @@
include Task_local_storage
include Hmap_fls

View file

@ -17,3 +17,11 @@
include module type of struct
include Task_local_storage
end
(** {2 Local [Hmap.t]}
This requires [hmap] to be installed. *)
include module type of struct
include Hmap_fls
end