PR#4453

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-19 13:15:51 +00:00 · 2007-11-19 13:15:51 +00:00 · e1bf691bf1
parent 270908852f
commit e1bf691bf1
1 changed files with 1 additions and 0 deletions
--- a/typing/env.ml
+++ b/typing/env.ml
@ -266,6 +266,7 @@ let find_type_expansion path env =
  let decl = find_type path env in
  match decl.type_manifest with
  | Some body when decl.type_private = Public
+              || decl.type_kind <> Type_abstract
              || Btype.has_constr_row body -> (decl.type_params, body)
  (* The manifest type of Private abstract data types without
     private row are still considered unknown to the type system.