fix warning in test

This commit is contained in:
Simon Cruanes 2024-01-05 21:47:40 -05:00
parent dd0e23cea2
commit 209ee3a3ed
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -18,5 +18,4 @@ true
t @@ fun () -> CCFun.((succ %> string_of_int) 2 = "3");; t @@ fun () -> CCFun.((succ %> string_of_int) 2 = "3");;
t @@ fun () -> CCFun.((( * ) 3 % succ) 5 = 18);; t @@ fun () -> CCFun.((( * ) 3 % succ) 5 = 18);;
t @@ fun () -> CCFun.(succ @@ ( * ) 2 @@ pred @@ 3 = 5);; t @@ fun () -> CCFun.(succ @@ ( * ) 2 @@ pred @@ 3 = 5)
t @@ fun () -> CCFun.(3 |> succ |> ( * ) 5 |> pred = 19)