Commits

camlspotter committed 397b59b

applied includecore.ml,v 1.35.4.3, a fix for PR#4816

  • Participants
  • Parent commits a1301db
  • Branches pure

Comments (0)

Files changed (1)

File typing/includecore.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id: includecore.ml,v 1.35.4.2 2008-10-16 03:05:26 garrigue Exp $ *)
+(* $Id: includecore.ml,v 1.35.4.3 2009-06-13 10:26:05 garrigue Exp $ *)
 
 (* Inclusion checks for the core language *)
 
 let private_flags decl1 decl2 =
   match decl1.type_private, decl2.type_private with
   | Private, Public ->
-      decl2.type_kind = Type_abstract && decl2.type_manifest = None
+      decl2.type_kind = Type_abstract &&
+      (decl2.type_manifest = None || decl1.type_kind <> Type_abstract)
   | _, _ -> true
 
 (* Inclusion between manifest types (particularly for private row types) *)