1(* PR#6650 *)
2
3module type S = sig
4  class type c = object method m : int end
5  module M : sig
6    class type d = c
7  end
8end;;
9module F (X : S) = X.M;;
10[%%expect{|
11module type S =
12  sig
13    class type c = object method m : int end
14    module M : sig class type d = c end
15  end
16module F : functor (X : S) -> sig class type d = X.c end
17|}];;
18
19(* PR#6648 *)
20
21module M = struct module N = struct let x = 1 end end;;
22#show_module M;;
23[%%expect{|
24module M : sig module N : sig val x : int end end
25module M : sig module N : sig ... end end
26|}];;
27