summaryrefslogtreecommitdiffstats
path: root/camlp4
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-04-18 07:00:34 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-04-18 07:00:34 +0000
commitef6bbe085c7f5f7758270d8786731ac679c17e67 (patch)
treeaae4f185c087b0ac42917f34bd875fa1590954b3 /camlp4
parent98ca2c1b3e7ed7796f586131ab03edb4d9e1df2a (diff)
merging poly_meth2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4692 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
-rw-r--r--camlp4/top/rprint.ml3
1 files changed, 2 insertions, 1 deletions
diff --git a/camlp4/top/rprint.ml b/camlp4/top/rprint.ml
index 730718226..9405d3dd8 100644
--- a/camlp4/top/rprint.ml
+++ b/camlp4/top/rprint.ml
@@ -175,7 +175,8 @@ and print_simple_out_type ppf =
fprintf ppf "@[<hv 2>{ %a }@]"
(print_list print_out_label (fun ppf -> fprintf ppf ";@ ")) lbls
| Otyp_abstract -> fprintf ppf "'abstract"
- | Otyp_alias _ _ | Otyp_arrow _ _ _ | Otyp_constr _ [_ :: _] as ty ->
+ | Otyp_alias _ _ | Otyp_poly _ _
+ | Otyp_arrow _ _ _ | Otyp_constr _ [_ :: _] as ty ->
fprintf ppf "@[<1>(%a)@]" print_out_type ty ]
and print_out_constr ppf (name, tyl) =
match tyl with