diff options
Diffstat (limited to 'ocamldoc/odoc_latex.ml')
-rw-r--r-- | ocamldoc/odoc_latex.ml | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/ocamldoc/odoc_latex.ml b/ocamldoc/odoc_latex.ml index d0ef4310b..b2145d1bc 100644 --- a/ocamldoc/odoc_latex.ml +++ b/ocamldoc/odoc_latex.ml @@ -599,16 +599,16 @@ class latex = let s_cons = p fmt2 "@[<h 6> | %s" constr.vc_name ; begin match constr.vc_args, constr.vc_ret with - | [], None -> () + | Cstr_tuple [], None -> () | l, None -> p fmt2 " of@ %s" - (self#normal_type_list ~par: false mod_name " * " l) - | [], Some r -> + (self#normal_cstr_args ~par: false mod_name l) + | Cstr_tuple [], Some r -> p fmt2 " :@ %s" (self#normal_type mod_name r) | l, Some r -> p fmt2 " :@ %s@ %s@ %s" - (self#normal_type_list ~par: false mod_name " * " l) + (self#normal_cstr_args ~par: false mod_name l) "->" (self#normal_type mod_name r) end ; @@ -682,19 +682,19 @@ class latex = p fmt2 "@[<h 6> | %s" (Name.simple x.xt_name); ( match x.xt_args, x.xt_ret with - [], None -> () + Cstr_tuple [], None -> () | l, None -> p fmt2 " %s@ %s" "of" - (self#normal_type_list ~par: false father " * " l) - | [], Some r -> + (self#normal_cstr_args ~par: false father l) + | Cstr_tuple [], Some r -> p fmt2 " %s@ %s" ":" (self#normal_type father r) | l, Some r -> p fmt2 " %s@ %s@ %s@ %s" ":" - (self#normal_type_list ~par: false father " * " l) + (self#normal_cstr_args ~par: false father l) "->" (self#normal_type father r) ); |