This commit is contained in:
Simon Cruanes 2024-05-13 22:06:31 -04:00
parent 53b3f75d64
commit 2e276002c6
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -122,9 +122,10 @@ eq
(6, [ "1"; "a1"; "2"; "a2"; "3"; "a3" ]) (6, [ "1"; "a1"; "2"; "a2"; "3"; "a3" ])
(let pf = Printf.sprintf in (let pf = Printf.sprintf in
fold_flat_map (fun acc x -> acc + x, [ pf "%d" x; pf "a%d" x ]) 0 [ 1; 2; 3 ]) fold_flat_map (fun acc x -> acc + x, [ pf "%d" x; pf "a%d" x ]) 0 [ 1; 2; 3 ])
;;
[@@@ifge 4.12] [@@@ifge 4.12]
let () =
t @@ fun () -> t @@ fun () ->
let r = Atomic.make 0 in let r = Atomic.make 0 in
let f x = let f x =
@ -138,9 +139,8 @@ assert_equal
[ 0, "a"; 1, "b"; 2, "c" ] [ 0, "a"; 1, "b"; 2, "c" ]
l; l;
true true
;;
[@@@endif] [@@@endif];;
q q
Q.(list int) Q.(list int)
@ -219,11 +219,9 @@ t @@ fun () ->
flat_map (fun x -> [ x + 1; x * 2 ]) [ 10; 100 ] = [ 11; 20; 101; 200 ] flat_map (fun x -> [ x + 1; x * 2 ]) [ 10; 100 ] = [ 11; 20; 101; 200 ]
;; ;;
t @@ fun () -> List.length (flat_map (fun x -> [ x ]) (1 -- 300_000)) = 300_000 t @@ fun () -> List.length (flat_map (fun x -> [ x ]) (1 -- 300_000)) = 300_000
;; ;;
t @@ fun () -> t @@ fun () -> List.length (flat_map (fun _ -> 1 -- 300_000) (1 -- 2)) = 600_000
List.length (flat_map (fun _ -> 1 -- 300_000) (1 -- 2)) = 600_000
;; ;;
eq [ 1; 2; 2; 3; 3; 3 ] eq [ 1; 2; 2; 3; 3; 3 ]