attempt to fix tests

This commit is contained in:
Simon Cruanes 2021-03-13 16:56:21 -05:00
parent 2c96dd1b55
commit 0de515b94b

View file

@ -21,15 +21,15 @@ let to_int = Char.code
let to_string c = String.make 1 c let to_string c = String.make 1 c
(*$Q to_string (*$Q to_string
(Q.string_of_size (Q.Gen.return 1)) (fun s -> Stdlib.(=) (to_string s.[0]) s) (Q.string_of_size (Q.Gen.return 1)) (fun s -> CCShims_.Stdlib.(=) (to_string s.[0]) s)
*) *)
module Infix = struct module Infix = struct
let (=) : t -> t -> bool = Stdlib.(=) let (=) : t -> t -> bool = CCShims_.Stdlib.(=)
let (<>) : t -> t -> bool = Stdlib.(<>) let (<>) : t -> t -> bool = CCShims_.Stdlib.(<>)
let (<) : t -> t -> bool = Stdlib.(<) let (<) : t -> t -> bool = CCShims_.Stdlib.(<)
let (>) : t -> t -> bool = Stdlib.(>) let (>) : t -> t -> bool = CCShims_.Stdlib.(>)
let (<=) : t -> t -> bool = Stdlib.(<=) let (<=) : t -> t -> bool = CCShims_.Stdlib.(<=)
let (>=) : t -> t -> bool = Stdlib.(>=) let (>=) : t -> t -> bool = CCShims_.Stdlib.(>=)
end end
include Infix include Infix