This commit is contained in:
Simon Cruanes 2023-11-19 22:25:17 -05:00
parent 8c224e42fd
commit 1b3ddb7adf
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 3 deletions

View file

@ -768,10 +768,10 @@ q
;; ;;
t @@ fun () -> take_drop_while (fun _ -> true) [] = ([], []);; t @@ fun () -> take_drop_while (fun _ -> true) [] = ([], []);;
t @@ fun () -> take_drop_while (fun _ -> true) (1 -- 10) = ([], 1 -- 10);; t @@ fun () -> take_drop_while (fun _ -> true) (1 -- 10) = (1 -- 10, []);;
t @@ fun () -> t @@ fun () ->
take_drop_while (fun _ -> true) (1 -- 300_000) = ([], 1 -- 300_000) take_drop_while (fun _ -> true) (1 -- 300_000) = (1 -- 300_000, [])
;; ;;
eq ~printer:Q.Print.(option (list int)) (Some [ 2; 3 ]) (tail_opt [ 1; 2; 3 ]);; eq ~printer:Q.Print.(option (list int)) (Some [ 2; 3 ]) (tail_opt [ 1; 2; 3 ]);;

View file

@ -37,7 +37,6 @@ module Mixset = struct
end end
module Mixtbl = struct module Mixtbl = struct
open CCFun
open CCMixtbl;; open CCMixtbl;;
t @@ fun () -> t @@ fun () ->