diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2005-03-22 07:10:20 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2005-03-22 07:10:20 +0000 |
| commit | 73755fef10752eca2708ec6200c13142e59a5d55 (patch) | |
| tree | d045c18a972da3dfa3024854f88304415c1a689d /typing/oprint.ml | |
| parent | 061c6ad1b036cd80a8e2fc5e1ad84a3975db1341 (diff) | |
| download | ocaml-fixedtypes.tar.gz | |
rename fixed types as privatefixedtypes
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/fixedtypes@6820 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/oprint.ml')
| -rw-r--r-- | typing/oprint.ml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/typing/oprint.ml b/typing/oprint.ml index 43ab1bdace..2ba92bef1a 100644 --- a/typing/oprint.ml +++ b/typing/oprint.ml @@ -358,7 +358,7 @@ and print_out_sig_item ppf = fprintf ppf "@[<2>%s %a :@ %a%a@]" kwd value_ident name !out_type ty pr_prims prims -and print_out_type_decl kwd ppf (name, args, ty, constraints) = +and print_out_type_decl kwd ppf (name, args, ty, priv, constraints) = let print_constraints ppf params = List.iter (fun (ty1, ty2) -> @@ -394,19 +394,21 @@ and print_out_type_decl kwd ppf (name, args, ty, constraints) = | Otyp_abstract -> fprintf ppf "@[<2>@[<hv 2>%t@]%a@]" print_name_args print_constraints constraints - | Otyp_record (lbls, priv) -> + | Otyp_record lbls -> fprintf ppf "@[<2>@[<hv 2>%t = %a{%a@;<1 -2>}@]%a@]" print_name_args print_private priv (print_list_init print_out_label (fun ppf -> fprintf ppf "@ ")) lbls print_constraints constraints - | Otyp_sum (constrs, priv) -> + | Otyp_sum constrs -> fprintf ppf "@[<2>@[<hv 2>%t =@;<1 2>%a%a@]%a@]" print_name_args print_private priv (print_list print_out_constr (fun ppf -> fprintf ppf "@ | ")) constrs print_constraints constraints | ty -> - fprintf ppf "@[<2>@[<hv 2>%t =@ %a@]%a@]" print_name_args !out_type - ty print_constraints constraints in + fprintf ppf "@[<2>@[<hv 2>%t =@;<1 2>%a%a@]%a@]" print_name_args + print_private priv + !out_type ty + print_constraints constraints in print_out_tkind ty and print_out_constr ppf (name, tyl) = match tyl with |