summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_test.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_test.ml')
-rw-r--r--ocamldoc/odoc_test.ml5
1 files changed, 3 insertions, 2 deletions
diff --git a/ocamldoc/odoc_test.ml b/ocamldoc/odoc_test.ml
index cd7b5fa04..c68e85326 100644
--- a/ocamldoc/odoc_test.ml
+++ b/ocamldoc/odoc_test.ml
@@ -53,10 +53,11 @@ struct
p fmt "# type %s:\n" t.ty_name;
if self#must_display_types then
(
- p fmt "# manifest (Odoc_info.string_of_type_expr):\n<[%s]>\n"
+ p fmt "# manifest :\n<[%s]>\n"
(match t.ty_manifest with
None -> "None"
- | Some e -> Odoc_info.string_of_type_expr e
+ | Some (Object_type _fields) -> "< object type >" (* TODO *)
+ | Some (Other e) -> Odoc_info.string_of_type_expr e
);
);