move test from cppo.ml file to .mli file

This commit is contained in:
Simon Cruanes 2016-08-22 09:19:49 +02:00
parent e704020e35
commit 779376f2b1
2 changed files with 6 additions and 5 deletions

View file

@ -398,11 +398,6 @@ let compare_versions a b =
in
cmp_rec (Split.gen_cpy ~by:"." a) (Split.gen_cpy ~by:"." b)
(*$Q
Q.(pair printable_string printable_string) (fun (a,b) -> \
CCOrd.equiv (compare_versions a b) (CCOrd.opp (compare_versions b a)))
*)
let repeat s n =
assert (n>=0);
let len = String.length s in

View file

@ -484,6 +484,12 @@ val compare_versions : string -> string -> int
compare_versions "1.2.3.4" "01.2.4.3" < 0
*)
(*$Q
Q.(pair printable_string printable_string) (fun (a,b) -> \
CCOrd.equiv (compare_versions a b) (CCOrd.opp compare_versions b a))
*)
(** {2 Slices} A contiguous part of a string *)
module Sub : sig