summaryrefslogtreecommitdiff
path: root/compiler/Extract.ml
diff options
context:
space:
mode:
authorJonathan Protzenko2023-02-01 09:51:46 -0800
committerSon HO2023-06-04 21:44:33 +0200
commitdad646759a3ab9175c8797f144dec9d8e07b54b3 (patch)
tree5e3e13528fd13009fd8abef75c9c30b557f1c20c /compiler/Extract.ml
parent7586cf83f59ca784ff4bfd5d11e460fd41acec98 (diff)
Fix runaway indentation
Diffstat (limited to '')
-rw-r--r--compiler/Extract.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/Extract.ml b/compiler/Extract.ml
index a5ff6796..d707dc81 100644
--- a/compiler/Extract.ml
+++ b/compiler/Extract.ml
@@ -1661,25 +1661,25 @@ and extract_adt_cons (ctx : extraction_ctx) (fmt : F.formatter) (inside : bool)
Collections.List.iter_link
(fun () ->
F.pp_print_string fmt ",";
- F.pp_close_box fmt ();
F.pp_print_space fmt ()
)
(fun ((fid, _), e) ->
- F.pp_open_hovbox fmt 0;
+ F.pp_open_hvbox fmt ctx.indent_incr;
let f = ctx_get_field adt_cons.adt_id fid ctx in
F.pp_print_string fmt f;
F.pp_print_string fmt " := ";
F.pp_open_hvbox fmt ctx.indent_incr;
extract_texpression ctx fmt true e;
+ F.pp_close_box fmt ();
F.pp_close_box fmt ()
)
(List.combine fields args);
F.pp_close_box fmt ();
F.pp_close_box fmt ();
F.pp_close_box fmt ();
- F.pp_close_box fmt ();
F.pp_print_space fmt ();
- F.pp_print_string fmt "}"
+ F.pp_print_string fmt "}";
+ F.pp_close_box fmt ()
else
let use_parentheses = inside && args <> [] in
if use_parentheses then F.pp_print_string fmt "(";