must strengthen private row types

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-28 07:18:30 +00:00 · 2005-09-28 07:18:30 +00:00 · 728fbc648e
parent da6305232e
commit 728fbc648e
1 changed files with 3 additions and 2 deletions
--- a/typing/mtype.ml
+++ b/typing/mtype.ml
@ -48,11 +48,12 @@ and strengthen_sig env sg p =
  | Tsig_type(id, decl, rs) :: rem ->
      let newdecl =
        match decl.type_manifest with
-          None ->
+          Some ty when not (Btype.has_constr_row ty) -> decl
+        | _ ->
            { decl with type_manifest =
                Some(Btype.newgenty(Tconstr(Pdot(p, Ident.name id, nopos),
                                            decl.type_params, ref Mnil))) }
-        | _ -> decl in
+      in
      Tsig_type(id, newdecl, rs) :: strengthen_sig env rem p
  | (Tsig_exception(id, d) as sigelt) :: rem ->
      sigelt :: strengthen_sig env rem p