diff options
| author | Jacques Le Normand <rathereasy@gmail.com> | 2010-10-01 03:44:47 +0000 |
|---|---|---|
| committer | Jacques Le Normand <rathereasy@gmail.com> | 2010-10-01 03:44:47 +0000 |
| commit | 6b4742362965ea6f31b768e6855377111dd2ae9f (patch) | |
| tree | 64d0dd3e9b04a222a2bb6600d455818ecf8cb72e /ocamldoc/odoc_latex.ml | |
| parent | 7af69814acf4e0b3bb0c9be5adf5bee71809db86 (diff) | |
ocamldoc now updated. odoc_sig.ml was changed from revision 1660
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10698 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_latex.ml')
| -rw-r--r-- | ocamldoc/odoc_latex.ml | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/ocamldoc/odoc_latex.ml b/ocamldoc/odoc_latex.ml index c20c344b5..6d29acedf 100644 --- a/ocamldoc/odoc_latex.ml +++ b/ocamldoc/odoc_latex.ml @@ -541,12 +541,22 @@ class latex = let s_cons = p fmt2 "@[<h 6> | %s" constr.vc_name; ( - match constr.vc_args with - [] -> () - | l -> + match constr.vc_args, constr.vc_ret with + [], None -> () + | l, None -> p fmt2 " %s@ %s" "of" (self#normal_type_list ~par: false mod_name " * " l) + | [], Some r -> + p fmt2 " %s@ %s" + ":" + (self#normal_type mod_name r) + | l, Some r -> + p fmt2 " %s@ %s@ %s@ %s" + ":" + (self#normal_type_list ~par: false mod_name " * " l) + "->" + (self#normal_type mod_name r) ); flush2 () in |