test: add compatibility checks between CCArray{,Labels}

This commit is contained in:
Simon Cruanes 2018-04-08 18:40:40 -05:00
parent 1727cc8199
commit b47d622f66
2 changed files with 14 additions and 1 deletions

View file

@ -17,7 +17,6 @@ let is_code file = is_suffix ~sub:".ml" file || is_suffix ~sub:".mli" file
let do_not_test file = let do_not_test file =
assert (not (is_suffix ~sub:"make.ml" file)); assert (not (is_suffix ~sub:"make.ml" file));
str_sub ~sub:"Label" file ||
is_suffix ~sub:"containers.ml" file || is_suffix ~sub:"containers.ml" file ||
is_suffix ~sub:"containers_top.ml" file || is_suffix ~sub:"containers_top.ml" file ||
is_suffix ~sub:"mkflags.ml" file || is_suffix ~sub:"mkflags.ml" file ||

View file

@ -2,3 +2,17 @@
(* This file is free software, part of containers. See file "license" for more details. *) (* This file is free software, part of containers. See file "license" for more details. *)
include CCArray include CCArray
(*$inject
module type A = module type of CCArray
module type AL = module type of CCArrayLabels
*)
(*$R
ignore (module CCArrayLabels : A)
*)
(*$R
ignore (module CCArray : AL)
*)