#7314: add non-regression test.

testsuite/tests/warnings/Makefile

@@ -19,6 +19,7 @@ FLAGS=-w A
 run-all:
 	@$(OCAMLC) $(FLAGS) -c deprecated_module.mli
 	@$(OCAMLC) $(FLAGS) -c module_without_cmx.mli
+	@$(OCAMLC) $(FLAGS) -c w60.mli
 	@for file in *.ml; do \
 	  printf " ... testing '$$file':"; \
 	  F="`basename $$file .ml`"; \

testsuite/tests/warnings/w60.ml

@@ -0,0 +1,23 @@
+(* PR#7314 *)
+
+module type Comparable = sig
+  val id: int
+end
+
+module Make_graph (P:sig module Id:Comparable end) = struct
+  let foo = P.Id.id
+end
+
+module Fold_ordered(P: sig module Id:Comparable end) =
+struct
+  include Make_graph(struct module Id = P.Id end)
+end
+
+
+(* PR#7314 *)
+
+module M = struct
+  module N = struct end
+end
+
+module O = M.N

testsuite/tests/warnings/w60.mli

@@ -0,0 +1,12 @@
+module type Comparable = sig
+  val id: int
+end
+
+module Fold_ordered(P: sig module Id:Comparable end): sig
+  val foo: int
+end
+
+
+
+module M : sig end
+module O : sig end