strengthen private abbreviations too

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 3 insertions, 2 deletions

diff --git a/typing/mtype.ml b/typing/mtype.ml
index bbf43179d..95c995dcd 100644
--- a/typing/mtype.ml
+++ b/typing/mtype.ml
@@ -14,6 +14,7 @@
 
 (* Operations on module types *)
 
+open Asttypes
 open Path
 open Types
 
@@ -48,10 +49,10 @@ and strengthen_sig env sg p =
   | Tsig_type(id, decl, rs) :: rem ->
       let newdecl =
         match decl.type_manifest with
-          Some ty when not (Btype.has_constr_row ty) -> decl
+          Some ty when decl.type_private = Public -> decl
         | _ ->
             { decl with
-              type_private = Asttypes.Public;
+              type_private = Public;
               type_manifest =
                 Some(Btype.newgenty(Tconstr(Pdot(p, Ident.name id, nopos),
                                             decl.type_params, ref Mnil))) }