summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_str.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_str.ml')
-rw-r--r--ocamldoc/odoc_str.ml11
1 files changed, 7 insertions, 4 deletions
diff --git a/ocamldoc/odoc_str.ml b/ocamldoc/odoc_str.ml
index c644675f6c..de82a9e46a 100644
--- a/ocamldoc/odoc_str.ml
+++ b/ocamldoc/odoc_str.ml
@@ -69,11 +69,14 @@ let raw_string_of_type_list sep type_list =
Format.pp_print_flush fmt ();
Buffer.contents buf
-let string_of_type_list sep type_list =
+let string_of_type_list ?par sep type_list =
let par =
- match type_list with
- [] | [_] -> false
- | _ -> true
+ match par with
+ | Some b -> b
+ | None ->
+ match type_list with
+ [] | [_] -> false
+ | _ -> true
in
Printf.sprintf "%s%s%s"
(if par then "(" else "")