From b47d622f66b2b33c930e59e9617c5de4b816f304 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 8 Apr 2018 18:40:40 -0500 Subject: [PATCH] test: add compatibility checks between `CCArray{,Labels}` --- qtest/make.ml | 1 - src/core/CCArrayLabels.ml | 14 ++++++++++++++ 2 files changed, 14 insertions(+), 1 deletion(-) diff --git a/qtest/make.ml b/qtest/make.ml index 300029fa..42b1bfd4 100644 --- a/qtest/make.ml +++ b/qtest/make.ml @@ -17,7 +17,6 @@ let is_code file = is_suffix ~sub:".ml" file || is_suffix ~sub:".mli" file let do_not_test file = assert (not (is_suffix ~sub:"make.ml" file)); - str_sub ~sub:"Label" file || is_suffix ~sub:"containers.ml" file || is_suffix ~sub:"containers_top.ml" file || is_suffix ~sub:"mkflags.ml" file || diff --git a/src/core/CCArrayLabels.ml b/src/core/CCArrayLabels.ml index fdf51544..deaf273a 100644 --- a/src/core/CCArrayLabels.ml +++ b/src/core/CCArrayLabels.ml @@ -2,3 +2,17 @@ (* This file is free software, part of containers. See file "license" for more details. *) 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) +*) +