diff options
Diffstat (limited to 'typing/printtyped.ml')
| -rw-r--r-- | typing/printtyped.ml | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/typing/printtyped.ml b/typing/printtyped.ml index 6d5bfacc77..7548b10c7c 100644 --- a/typing/printtyped.ml +++ b/typing/printtyped.ml @@ -69,6 +69,11 @@ let fmt_mutable_flag f x = | Mutable -> fprintf f "Mutable"; ;; +let fmt_focus_flag f = function + | AutoFocus -> fprintf f "AutoFocus" + | NoFocus -> fprintf f "NoFocus" +;; + let fmt_virtual_flag f x = match x with | Virtual -> fprintf f "Virtual"; @@ -388,7 +393,7 @@ and type_kind i ppf x = list (i+1) string_x_core_type_list_x_location ppf l; | Ttype_record l -> line i ppf "Ptype_record\n"; - list (i+1) string_x_mutable_flag_x_core_type_x_location ppf l; + list (i+1) label_definition ppf l; and exception_declaration i ppf x = list i core_type ppf x @@ -706,8 +711,8 @@ and string_x_core_type_list_x_location i ppf (s, _, l, r_opt) = list (i+1) core_type ppf l; (* option (i+1) core_type ppf r_opt; *) -and string_x_mutable_flag_x_core_type_x_location i ppf (s, _, mf, ct, loc) = - line i ppf "\"%a\" %a %a\n" fmt_ident s fmt_mutable_flag mf fmt_location loc; +and label_definition i ppf (s, _, mf, ff, ct, loc) = + line i ppf "\"%a\" %a %a %a\n" fmt_ident s fmt_mutable_flag mf fmt_focus_flag ff fmt_location loc; core_type (i+1) ppf ct; and string_list_x_location i ppf (l, loc) = |