diff options
Diffstat (limited to 'compiler/PrintPure.ml')
| -rw-r--r-- | compiler/PrintPure.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/compiler/PrintPure.ml b/compiler/PrintPure.ml index c83858b3..b19e0be6 100644 --- a/compiler/PrintPure.ml +++ b/compiler/PrintPure.ml @@ -619,14 +619,16 @@ and switch_to_string (fmt : ast_formatter) (indent : string) and loop_to_string (fmt : ast_formatter) (indent : string) (indent_incr : string) (loop : loop) : string = let indent1 = indent ^ indent_incr in + let indent2 = indent1 ^ indent_incr in let fun_end = - texpression_to_string fmt false indent1 indent_incr loop.fun_end + texpression_to_string fmt false indent2 indent_incr loop.fun_end in let loop_body = - texpression_to_string fmt false indent1 indent_incr loop.loop_body + texpression_to_string fmt false indent2 indent_incr loop.loop_body in - "loop {\n" ^ indent1 ^ "fun_end: " ^ fun_end ^ "\n" ^ indent1 ^ "loop_body:" - ^ loop_body ^ "\n" ^ indent ^ "}" + "loop {\n" ^ indent1 ^ "fun_end: {\n" ^ indent2 ^ fun_end ^ "\n" ^ indent1 + ^ "}\n" ^ indent1 ^ "loop_body: {\n" ^ indent2 ^ loop_body ^ "\n" ^ indent1 + ^ "}\n" ^ indent ^ "}" and meta_to_string (fmt : ast_formatter) (meta : meta) : string = let meta = |