From 39712e7f545bf76b2e4becce5490520c7702e692 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 15 Jun 2023 11:58:32 -0400 Subject: [PATCH] test: regression test for bug in wait_list on empty list --- test/t_futs1.ml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/test/t_futs1.ml b/test/t_futs1.ml index 0d8ae669..412d293a 100644 --- a/test/t_futs1.ml +++ b/test/t_futs1.ml @@ -88,6 +88,15 @@ let () = let fut = Fut.both f1 f2 in assert (Fut.wait_block fut = Ok (2, 20)) +let () = + let l = [] in + let l' = Fut.wait_block_exn (Fut.join_list l) in + assert (l' = []) + +let () = + let l = [] in + Fut.wait_block_exn (Fut.wait_list l) + let () = let f1 = mk_ret_delay 0.01 true in let f2 = mk_ret_delay 0.9 false in