test: consistency CCList{,Labels}

This commit is contained in:
Simon Cruanes 2018-04-08 18:54:40 -05:00
parent 960e704bb1
commit fac9f18031

View file

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