Skip to content

Commit

Permalink
fix test
Browse files Browse the repository at this point in the history
c-cube committed Nov 20, 2023
1 parent 8c224e4 commit 1b3ddb7
Showing 2 changed files with 2 additions and 3 deletions.
4 changes: 2 additions & 2 deletions tests/core/t_list.ml
Original file line number Diff line number Diff line change
@@ -768,10 +768,10 @@ q
;;

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 () ->
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 ]);;
1 change: 0 additions & 1 deletion tests/data/t_misc.ml
Original file line number Diff line number Diff line change
@@ -37,7 +37,6 @@ module Mixset = struct
end

module Mixtbl = struct
open CCFun
open CCMixtbl;;

t @@ fun () ->

0 comments on commit 1b3ddb7

Please sign in to comment.