This commit is contained in:
Simon Cruanes 2023-11-19 23:51:47 -05:00
parent 1b3ddb7adf
commit 037c55a43d
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -233,13 +233,13 @@ combine [ 1; 2; 3 ] [ 3; 2; 1 ] = List.combine [ 1; 2; 3 ] [ 3; 2; 1 ]
;; ;;
t @@ fun () -> t @@ fun () ->
combine (1 -- 100_000) (1 -- 100_000) combine (1 -- 10_000) (1 -- 10_000) = List.combine (1 -- 10_000) (1 -- 10_000)
= List.combine (1 -- 100_000) (1 -- 100_000)
;; ;;
t @@ fun () -> t @@ fun () ->
combine (1 -- 300_000) (1 -- 300_000) combine (1 -- 300_000) (map string_of_int @@ (1 -- 300_000))
= List.combine (1 -- 300_000) (1 -- 300_000) = map (fun (x, y) -> y, x)
@@ combine (map string_of_int @@ (1 -- 300_000)) (1 -- 300_000)
;; ;;
q q