summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_man.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_man.ml')
-rw-r--r--ocamldoc/odoc_man.ml11
1 files changed, 6 insertions, 5 deletions
diff --git a/ocamldoc/odoc_man.ml b/ocamldoc/odoc_man.ml
index 7f66d904b..c78654dbf 100644
--- a/ocamldoc/odoc_man.ml
+++ b/ocamldoc/odoc_man.ml
@@ -314,11 +314,12 @@ class man =
)^
(match t.ty_parameters with [] -> "" | _ -> ".I ")^(Name.simple t.ty_name)^" \n"^
(match t.ty_manifest with None -> "" | Some typ -> "= "^(self#man_of_type_expr father typ))^
- (match t.ty_kind with
+ (
+ match t.ty_kind with
Type_abstract ->
""
- | Type_variant l ->
- "=\n "^
+ | Type_variant (l, priv) ->
+ "="^(if priv then " private" else "")^"\n "^
(String.concat ""
(List.map
(fun constr ->
@@ -337,8 +338,8 @@ class man =
l
)
)
- | Type_record l ->
- "= {"^
+ | Type_record (l, priv) ->
+ "= "^(if priv then "private " else "")^"{"^
(String.concat ""
(List.map
(fun r ->