diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-05-13 04:03:22 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-05-13 04:03:22 +0000 |
| commit | d5f11dbd7cff3daf0f083be127e6444e82fcba33 (patch) | |
| tree | e0ecf031acfbcce1ca93d494566144c1aa194cd9 | |
| parent | 0ab677173b767f301a2559264473d7f9e1860673 (diff) | |
better printing of tuples and variant types
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/oprint.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/typing/oprint.ml b/typing/oprint.ml index 9a2f9b23f..32ee74896 100644 --- a/typing/oprint.ml +++ b/typing/oprint.ml @@ -88,7 +88,7 @@ let print_out_value ppf tree = | Oval_ellipsis -> raise Ellipsis | Oval_printer f -> f ppf | Oval_tuple tree_list -> - fprintf ppf "@[(%a)@]" (print_tree_list print_tree_1 ",") tree_list + fprintf ppf "@[<1>(%a)@]" (print_tree_list print_tree_1 ",") tree_list | tree -> fprintf ppf "@[<1>(%a)@]" (cautious print_tree_1) tree and print_fields first ppf = function @@ -135,7 +135,7 @@ let pr_vars = let rec print_out_type ppf = function | Otyp_alias (ty, s) -> - fprintf ppf "@[%a as '%s@]" print_out_type ty s + fprintf ppf "@[%a@ as '%s@]" print_out_type ty s | Otyp_poly (sl, ty) -> fprintf ppf "@[<hov 2>%a.@ %a@]" pr_vars sl @@ -179,7 +179,7 @@ and print_simple_out_type ppf = | Ovar_name (id, tyl) -> fprintf ppf "@[%a%a@]" print_typargs tyl print_ident id in - fprintf ppf "%s[%s@[<hv>@[<hv>%a@]%a@ ]@]" (if non_gen then "_" else "") + fprintf ppf "%s[%s@[<hv>@[<hv>%a@]%a ]@]" (if non_gen then "_" else "") (if closed then if tags = None then " " else "< " else if tags = None then "> " else "? ") print_fields row_fields |