* split Typetexp.lookup_module and Typetexp.find_module

* fix semantics of -open by using Typemod.type_open_


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

1 files changed, 47 insertions, 39 deletions

diff --git a/ocamldoc/.depend b/ocamldoc/.depend
index 38e932e35b..c2965f6a30 100644
--- a/ocamldoc/.depend
+++ b/ocamldoc/.depend
@@ -32,16 +32,16 @@ odoc_ast.cmo : ../typing/types.cmi ../typing/typedtree.cmi \
     ../typing/predef.cmi ../typing/path.cmi ../parsing/parsetree.cmi \
     odoc_value.cmo odoc_types.cmi odoc_type.cmo odoc_sig.cmi \
     odoc_parameter.cmo odoc_name.cmi odoc_module.cmo odoc_messages.cmo \
-    odoc_global.cmi odoc_exception.cmo odoc_env.cmi odoc_class.cmo \
-    ../utils/misc.cmi ../parsing/location.cmi ../typing/ident.cmi \
-    ../parsing/asttypes.cmi odoc_ast.cmi
+    odoc_global.cmi odoc_extension.cmo odoc_exception.cmo odoc_env.cmi \
+    odoc_class.cmo ../utils/misc.cmi ../parsing/location.cmi \
+    ../typing/ident.cmi ../parsing/asttypes.cmi odoc_ast.cmi
 odoc_ast.cmx : ../typing/types.cmx ../typing/typedtree.cmx \
     ../typing/predef.cmx ../typing/path.cmx ../parsing/parsetree.cmi \
     odoc_value.cmx odoc_types.cmx odoc_type.cmx odoc_sig.cmx \
     odoc_parameter.cmx odoc_name.cmx odoc_module.cmx odoc_messages.cmx \
-    odoc_global.cmx odoc_exception.cmx odoc_env.cmx odoc_class.cmx \
-    ../utils/misc.cmx ../parsing/location.cmx ../typing/ident.cmx \
-    ../parsing/asttypes.cmi odoc_ast.cmi
+    odoc_global.cmx odoc_extension.cmx odoc_exception.cmx odoc_env.cmx \
+    odoc_class.cmx ../utils/misc.cmx ../parsing/location.cmx \
+    ../typing/ident.cmx ../parsing/asttypes.cmi odoc_ast.cmi
 odoc_class.cmo : ../typing/types.cmi odoc_value.cmo odoc_types.cmi \
     odoc_parameter.cmo odoc_name.cmi
 odoc_class.cmx : ../typing/types.cmx odoc_value.cmx odoc_types.cmx \
@@ -62,12 +62,12 @@ odoc_control.cmo :
 odoc_control.cmx :
 odoc_cross.cmo : odoc_value.cmo odoc_types.cmi odoc_type.cmo odoc_search.cmi \
     odoc_scan.cmo odoc_parameter.cmo odoc_name.cmi odoc_module.cmo \
-    odoc_misc.cmi odoc_messages.cmo odoc_global.cmi odoc_exception.cmo \
-    odoc_class.cmo odoc_cross.cmi
+    odoc_misc.cmi odoc_messages.cmo odoc_global.cmi odoc_extension.cmo \
+    odoc_exception.cmo odoc_class.cmo odoc_cross.cmi
 odoc_cross.cmx : odoc_value.cmx odoc_types.cmx odoc_type.cmx odoc_search.cmx \
     odoc_scan.cmx odoc_parameter.cmx odoc_name.cmx odoc_module.cmx \
-    odoc_misc.cmx odoc_messages.cmx odoc_global.cmx odoc_exception.cmx \
-    odoc_class.cmx odoc_cross.cmi
+    odoc_misc.cmx odoc_messages.cmx odoc_global.cmx odoc_extension.cmx \
+    odoc_exception.cmx odoc_class.cmx odoc_cross.cmi
 odoc_dag2html.cmo : odoc_info.cmi odoc_dag2html.cmi
 odoc_dag2html.cmx : odoc_info.cmx odoc_dag2html.cmi
 odoc_dep.cmo : ../parsing/parsetree.cmi odoc_type.cmo odoc_print.cmi \
@@ -84,6 +84,10 @@ odoc_env.cmx : ../typing/types.cmx ../typing/printtyp.cmx \
     ../typing/btype.cmx odoc_env.cmi
 odoc_exception.cmo : ../typing/types.cmi odoc_types.cmi odoc_name.cmi
 odoc_exception.cmx : ../typing/types.cmx odoc_types.cmx odoc_name.cmx
+odoc_extension.cmo : ../typing/types.cmi odoc_types.cmi odoc_name.cmi \
+    ../parsing/asttypes.cmi
+odoc_extension.cmx : ../typing/types.cmx odoc_types.cmx odoc_name.cmx \
+    ../parsing/asttypes.cmi
 odoc_gen.cmo : odoc_texi.cmo odoc_module.cmo odoc_man.cmo odoc_latex.cmo \
     odoc_html.cmo odoc_dot.cmo odoc_gen.cmi
 odoc_gen.cmx : odoc_texi.cmx odoc_module.cmx odoc_man.cmx odoc_latex.cmx \
@@ -99,15 +103,15 @@ odoc_html.cmx : odoc_text.cmx odoc_ocamlhtml.cmx odoc_messages.cmx \
 odoc_info.cmo : ../typing/printtyp.cmi odoc_value.cmo odoc_types.cmi \
     odoc_type.cmo odoc_text.cmi odoc_str.cmi odoc_search.cmi odoc_scan.cmo \
     odoc_print.cmi odoc_parameter.cmo odoc_name.cmi odoc_module.cmo \
-    odoc_misc.cmi odoc_global.cmi odoc_exception.cmo odoc_dep.cmo \
-    odoc_config.cmi odoc_comments.cmi odoc_class.cmo odoc_analyse.cmi \
-    ../parsing/location.cmi odoc_info.cmi
+    odoc_misc.cmi odoc_global.cmi odoc_extension.cmo odoc_exception.cmo \
+    odoc_dep.cmo odoc_config.cmi odoc_comments.cmi odoc_class.cmo \
+    odoc_analyse.cmi ../parsing/location.cmi odoc_info.cmi
 odoc_info.cmx : ../typing/printtyp.cmx odoc_value.cmx odoc_types.cmx \
     odoc_type.cmx odoc_text.cmx odoc_str.cmx odoc_search.cmx odoc_scan.cmx \
     odoc_print.cmx odoc_parameter.cmx odoc_name.cmx odoc_module.cmx \
-    odoc_misc.cmx odoc_global.cmx odoc_exception.cmx odoc_dep.cmx \
-    odoc_config.cmx odoc_comments.cmx odoc_class.cmx odoc_analyse.cmx \
-    ../parsing/location.cmx odoc_info.cmi
+    odoc_misc.cmx odoc_global.cmx odoc_extension.cmx odoc_exception.cmx \
+    odoc_dep.cmx odoc_config.cmx odoc_comments.cmx odoc_class.cmx \
+    odoc_analyse.cmx ../parsing/location.cmx odoc_info.cmi
 odoc_inherit.cmo :
 odoc_inherit.cmx :
 odoc_latex.cmo : odoc_to_text.cmo odoc_messages.cmo odoc_latex_style.cmo \
@@ -126,10 +130,12 @@ odoc_man.cmx : odoc_str.cmx odoc_print.cmx odoc_misc.cmx odoc_messages.cmx \
     odoc_info.cmx ../utils/misc.cmx ../parsing/asttypes.cmi
 odoc_merge.cmo : odoc_value.cmo odoc_types.cmi odoc_type.cmo \
     odoc_parameter.cmo odoc_name.cmi odoc_module.cmo odoc_messages.cmo \
-    odoc_global.cmi odoc_exception.cmo odoc_class.cmo odoc_merge.cmi
+    odoc_global.cmi odoc_extension.cmo odoc_exception.cmo odoc_class.cmo \
+    odoc_merge.cmi
 odoc_merge.cmx : odoc_value.cmx odoc_types.cmx odoc_type.cmx \
     odoc_parameter.cmx odoc_name.cmx odoc_module.cmx odoc_messages.cmx \
-    odoc_global.cmx odoc_exception.cmx odoc_class.cmx odoc_merge.cmi
+    odoc_global.cmx odoc_extension.cmx odoc_exception.cmx odoc_class.cmx \
+    odoc_merge.cmi
 odoc_messages.cmo : ../utils/config.cmi
 odoc_messages.cmx : ../utils/config.cmx
 odoc_misc.cmo : ../typing/types.cmi ../typing/predef.cmi ../typing/path.cmi \
@@ -139,9 +145,11 @@ odoc_misc.cmx : ../typing/types.cmx ../typing/predef.cmx ../typing/path.cmx \
     odoc_types.cmx odoc_messages.cmx ../parsing/longident.cmx \
     ../typing/ctype.cmx ../typing/btype.cmx odoc_misc.cmi
 odoc_module.cmo : ../typing/types.cmi odoc_value.cmo odoc_types.cmi \
-    odoc_type.cmo odoc_name.cmi odoc_exception.cmo odoc_class.cmo
+    odoc_type.cmo odoc_name.cmi odoc_extension.cmo odoc_exception.cmo \
+    odoc_class.cmo
 odoc_module.cmx : ../typing/types.cmx odoc_value.cmx odoc_types.cmx \
-    odoc_type.cmx odoc_name.cmx odoc_exception.cmx odoc_class.cmx
+    odoc_type.cmx odoc_name.cmx odoc_extension.cmx odoc_exception.cmx \
+    odoc_class.cmx
 odoc_name.cmo : ../typing/path.cmi odoc_misc.cmi ../typing/ident.cmi \
     odoc_name.cmi
 odoc_name.cmx : ../typing/path.cmx odoc_misc.cmx ../typing/ident.cmx \
@@ -157,38 +165,38 @@ odoc_print.cmo : ../typing/types.cmi ../typing/printtyp.cmi \
 odoc_print.cmx : ../typing/types.cmx ../typing/printtyp.cmx \
     ../utils/misc.cmx odoc_print.cmi
 odoc_scan.cmo : odoc_value.cmo odoc_types.cmi odoc_type.cmo odoc_module.cmo \
-    odoc_exception.cmo odoc_class.cmo
+    odoc_extension.cmo odoc_exception.cmo odoc_class.cmo
 odoc_scan.cmx : odoc_value.cmx odoc_types.cmx odoc_type.cmx odoc_module.cmx \
-    odoc_exception.cmx odoc_class.cmx
+    odoc_extension.cmx odoc_exception.cmx odoc_class.cmx
 odoc_search.cmo : odoc_value.cmo odoc_types.cmi odoc_type.cmo \
-    odoc_parameter.cmo odoc_name.cmi odoc_module.cmo odoc_exception.cmo \
-    odoc_class.cmo odoc_search.cmi
+    odoc_parameter.cmo odoc_name.cmi odoc_module.cmo odoc_extension.cmo \
+    odoc_exception.cmo odoc_class.cmo odoc_search.cmi
 odoc_search.cmx : odoc_value.cmx odoc_types.cmx odoc_type.cmx \
-    odoc_parameter.cmx odoc_name.cmx odoc_module.cmx odoc_exception.cmx \
-    odoc_class.cmx odoc_search.cmi
+    odoc_parameter.cmx odoc_name.cmx odoc_module.cmx odoc_extension.cmx \
+    odoc_exception.cmx odoc_class.cmx odoc_search.cmi
 odoc_see_lexer.cmo : odoc_parser.cmi
 odoc_see_lexer.cmx : odoc_parser.cmx
 odoc_sig.cmo : ../typing/types.cmi ../typing/typedtree.cmi \
     ../typing/path.cmi ../parsing/parsetree.cmi odoc_value.cmo odoc_types.cmi \
     odoc_type.cmo odoc_parameter.cmo odoc_name.cmi odoc_module.cmo \
     odoc_misc.cmi odoc_messages.cmo odoc_merge.cmi odoc_global.cmi \
-    odoc_exception.cmo odoc_env.cmi odoc_class.cmo ../utils/misc.cmi \
-    ../parsing/location.cmi ../typing/ident.cmi ../typing/btype.cmi \
-    ../parsing/asttypes.cmi odoc_sig.cmi
+    odoc_extension.cmo odoc_exception.cmo odoc_env.cmi odoc_class.cmo \
+    ../utils/misc.cmi ../parsing/location.cmi ../typing/ident.cmi \
+    ../typing/btype.cmi ../parsing/asttypes.cmi odoc_sig.cmi
 odoc_sig.cmx : ../typing/types.cmx ../typing/typedtree.cmx \
     ../typing/path.cmx ../parsing/parsetree.cmi odoc_value.cmx odoc_types.cmx \
     odoc_type.cmx odoc_parameter.cmx odoc_name.cmx odoc_module.cmx \
     odoc_misc.cmx odoc_messages.cmx odoc_merge.cmx odoc_global.cmx \
-    odoc_exception.cmx odoc_env.cmx odoc_class.cmx ../utils/misc.cmx \
-    ../parsing/location.cmx ../typing/ident.cmx ../typing/btype.cmx \
-    ../parsing/asttypes.cmi odoc_sig.cmi
+    odoc_extension.cmx odoc_exception.cmx odoc_env.cmx odoc_class.cmx \
+    ../utils/misc.cmx ../parsing/location.cmx ../typing/ident.cmx \
+    ../typing/btype.cmx ../parsing/asttypes.cmi odoc_sig.cmi
 odoc_str.cmo : ../typing/types.cmi ../typing/printtyp.cmi odoc_value.cmo \
     odoc_type.cmo odoc_print.cmi odoc_name.cmi odoc_misc.cmi \
-    odoc_messages.cmo odoc_exception.cmo odoc_class.cmo \
+    odoc_messages.cmo odoc_extension.cmo odoc_exception.cmo odoc_class.cmo \
     ../parsing/asttypes.cmi odoc_str.cmi
 odoc_str.cmx : ../typing/types.cmx ../typing/printtyp.cmx odoc_value.cmx \
     odoc_type.cmx odoc_print.cmx odoc_name.cmx odoc_misc.cmx \
-    odoc_messages.cmx odoc_exception.cmx odoc_class.cmx \
+    odoc_messages.cmx odoc_extension.cmx odoc_exception.cmx odoc_class.cmx \
     ../parsing/asttypes.cmi odoc_str.cmi
 odoc_test.cmo : odoc_info.cmi odoc_gen.cmi odoc_args.cmi
 odoc_test.cmx : odoc_info.cmx odoc_gen.cmx odoc_args.cmx
@@ -219,8 +227,7 @@ odoc_value.cmx : ../typing/types.cmx ../typing/printtyp.cmx odoc_types.cmx \
 odoc_analyse.cmi : odoc_module.cmo odoc_global.cmi
 odoc_args.cmi : odoc_gen.cmi
 odoc_ast.cmi : ../typing/types.cmi ../typing/typedtree.cmi \
-    ../typing/path.cmi ../parsing/parsetree.cmi odoc_sig.cmi odoc_name.cmi \
-    odoc_module.cmo
+    ../parsing/parsetree.cmi odoc_sig.cmi odoc_name.cmi odoc_module.cmo
 odoc_comments.cmi : odoc_types.cmi odoc_module.cmo
 odoc_comments_global.cmi :
 odoc_config.cmi :
@@ -232,7 +239,8 @@ odoc_gen.cmi : odoc_texi.cmo odoc_module.cmo odoc_man.cmo odoc_latex.cmo \
 odoc_global.cmi : odoc_types.cmi
 odoc_info.cmi : ../typing/types.cmi odoc_value.cmo odoc_types.cmi \
     odoc_type.cmo odoc_search.cmi odoc_parameter.cmo odoc_module.cmo \
-    odoc_global.cmi odoc_exception.cmo odoc_class.cmo ../parsing/location.cmi
+    odoc_global.cmi odoc_extension.cmo odoc_exception.cmo odoc_class.cmo \
+    ../parsing/location.cmi
 odoc_merge.cmi : odoc_types.cmi odoc_module.cmo
 odoc_misc.cmi : ../typing/types.cmi odoc_types.cmi ../parsing/longident.cmi
 odoc_name.cmi : ../typing/path.cmi ../parsing/longident.cmi \
@@ -240,11 +248,11 @@ odoc_name.cmi : ../typing/path.cmi ../parsing/longident.cmi \
 odoc_parser.cmi : odoc_types.cmi
 odoc_print.cmi : ../typing/types.cmi
 odoc_search.cmi : odoc_value.cmo odoc_types.cmi odoc_type.cmo \
-    odoc_module.cmo odoc_exception.cmo odoc_class.cmo
+    odoc_module.cmo odoc_extension.cmo odoc_exception.cmo odoc_class.cmo
 odoc_sig.cmi : ../typing/types.cmi ../parsing/parsetree.cmi odoc_types.cmi \
     odoc_type.cmo odoc_name.cmi odoc_module.cmo odoc_env.cmi odoc_class.cmo
 odoc_str.cmi : ../typing/types.cmi odoc_value.cmo odoc_type.cmo \
-    odoc_exception.cmo odoc_class.cmo
+    odoc_extension.cmo odoc_exception.cmo odoc_class.cmo
 odoc_text.cmi : odoc_types.cmi
 odoc_text_parser.cmi : odoc_types.cmi
 odoc_types.cmi : ../parsing/location.cmi