diff options
author | Jonathan Protzenko | 2023-02-01 09:51:46 -0800 |
---|---|---|
committer | Son HO | 2023-06-04 21:44:33 +0200 |
commit | dad646759a3ab9175c8797f144dec9d8e07b54b3 (patch) | |
tree | 5e3e13528fd13009fd8abef75c9c30b557f1c20c /compiler | |
parent | 7586cf83f59ca784ff4bfd5d11e460fd41acec98 (diff) |
Fix runaway indentation
Diffstat (limited to '')
-rw-r--r-- | compiler/Extract.ml | 8 |
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 "("; |