diff options
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 |