diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-04-18 07:00:34 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2002-04-18 07:00:34 +0000 |
| commit | ef6bbe085c7f5f7758270d8786731ac679c17e67 (patch) | |
| tree | aae4f185c087b0ac42917f34bd875fa1590954b3 /camlp4 | |
| parent | 98ca2c1b3e7ed7796f586131ab03edb4d9e1df2a (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.ml | 3 |
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 |