This commit is contained in:
Simon Cruanes 2023-06-14 11:34:44 -04:00
parent dd5a177a5f
commit 826d1f15c8
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -109,3 +109,13 @@ let () =
in
ignore (Fut.wait_block_exn (Fut.join_list [ fut1; fut2 ]) : _ list);
assert (Atomic.get n = 99 * 100)
let () =
let f1 = mk_ret_delay 0.1 "foo" in
assert (
try
ignore (Fut.get_or_fail f1);
false
with Fut.Not_ready -> true);
ignore (Fut.wait_block f1);
assert (Fut.get_or_fail f1 = Ok "foo")