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