diff options
Diffstat (limited to 'typing/mtype.ml')
| -rw-r--r-- | typing/mtype.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/typing/mtype.ml b/typing/mtype.ml index ac5e2424a9..95c995dcde 100644 --- a/typing/mtype.ml +++ b/typing/mtype.ml @@ -14,6 +14,7 @@ (* Operations on module types *) +open Asttypes open Path open Types @@ -48,9 +49,11 @@ 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_manifest = + { decl with + type_private = Public; + type_manifest = Some(Btype.newgenty(Tconstr(Pdot(p, Ident.name id, nopos), decl.type_params, ref Mnil))) } in |