summaryrefslogtreecommitdiffstats
path: root/ocamldoc/generators/odoc_todo.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/generators/odoc_todo.ml')
-rw-r--r--ocamldoc/generators/odoc_todo.ml8
1 files changed, 8 insertions, 0 deletions
diff --git a/ocamldoc/generators/odoc_todo.ml b/ocamldoc/generators/odoc_todo.ml
index 31545feef..9dbf9f375 100644
--- a/ocamldoc/generators/odoc_todo.ml
+++ b/ocamldoc/generators/odoc_todo.ml
@@ -18,6 +18,7 @@ module Naming = Odoc_html.Naming
open Odoc_info.Value
open Odoc_info.Module
open Odoc_info.Type
+open Odoc_info.Extension
open Odoc_info.Exception
open Odoc_info.Class
@@ -115,6 +116,12 @@ struct
(Odoc_html.Naming.complete_type_target t)
t.ty_info
+ method scan_extension_constructor x =
+ self#gen_if_tag
+ x.xt_name
+ (Odoc_html.Naming.complete_extension_target x)
+ x.xt_type_extension.te_info
+
method scan_exception e =
self#gen_if_tag
e.ex_name
@@ -144,6 +151,7 @@ struct
| Odoc_module.Element_class c -> self#scan_class c
| Odoc_module.Element_class_type ct -> self#scan_class_type ct
| Odoc_module.Element_value v -> self#scan_value v
+ | Odoc_module.Element_type_extension te -> self#scan_type_extension te
| Odoc_module.Element_exception e -> self#scan_exception e
| Odoc_module.Element_type t -> self#scan_type t
| Odoc_module.Element_module_comment t -> self#scan_module_comment t