This commit is contained in:
Simon Cruanes 2023-12-20 14:41:43 -05:00
parent 8dc4d5a706
commit 884d354986
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -124,6 +124,7 @@ eq
fold_flat_map (fun acc x -> acc + x, [ pf "%d" x; pf "a%d" x ]) 0 [ 1; 2; 3 ])
;;
[@@@ifge 4.12]
t @@ fun () ->
let r = Atomic.make 0 in
let f x =
@ -139,6 +140,8 @@ assert_equal
true
;;
[@@@endif]
q
Q.(list int)
(fun l ->