diff options
Diffstat (limited to 'ocamldoc')
| -rw-r--r-- | ocamldoc/odoc_ast.ml | 5 | ||||
| -rw-r--r-- | ocamldoc/odoc_sig.ml | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/ocamldoc/odoc_ast.ml b/ocamldoc/odoc_ast.ml index 3c6fa92d2..337592c85 100644 --- a/ocamldoc/odoc_ast.ml +++ b/ocamldoc/odoc_ast.ml @@ -66,6 +66,8 @@ module Typedtree_search = match tt with | Typedtree.Tstr_module (ident, _) -> Hashtbl.add table (M (Name.from_ident ident)) tt + | Typedtree.Tstr_recmodule bindings -> + assert false (* to be fixed *) | Typedtree.Tstr_modtype (ident, _) -> Hashtbl.add table (MT (Name.from_ident ident)) tt | Typedtree.Tstr_exception (ident, _) -> @@ -1104,6 +1106,9 @@ module Analyser = raise (Failure (Odoc_messages.module_not_found_in_typedtree complete_name)) ) + | Parsetree.Pstr_recmodule bindings -> + assert false (* to be fixed *) + | Parsetree.Pstr_modtype (name, modtype) -> let complete_name = Name.concat current_module_name name in let tt_module_type = diff --git a/ocamldoc/odoc_sig.ml b/ocamldoc/odoc_sig.ml index f59d9a9b0..59bdbcdad 100644 --- a/ocamldoc/odoc_sig.ml +++ b/ocamldoc/odoc_sig.ml @@ -707,6 +707,9 @@ module Analyser = in (maybe_more, new_env2, [ Element_module new_module ]) + | Parsetree.Psig_recmodule decls -> + assert false (* to be fixed *) + | Parsetree.Psig_modtype (name, Parsetree.Pmodtype_abstract) -> let sig_mtype = try Signature_search.search_module_type table name |