diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-10-14 15:51:30 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-10-14 15:51:30 +0000 |
| commit | e3ad818fb5f8ddc7b477779a6da69ccac0f00f4f (patch) | |
| tree | 9016f709d251804278be1a75f518787aa571904b /ocamldoc/odoc_latex.ml | |
| parent | a4e637ea622cf33b4c0870a98c6b1db0090f8e38 (diff) | |
| parent | 8da19ea098b270230a9f1e1d252350bd69cbf8ee (diff) | |
Reintegrate-merge constructors_with_record5 branch.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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) ); |