balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Micheline: fix printer for code that exceeds 80 columns

Browse Source
This commit is contained in:
Benjamin Canou 2018-10-26 12:05:11 +02:00
parent 0392284716
commit 203c212bcc
No known key found for this signature in database
GPG Key ID: 73607948459DC5F8
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/lib_micheline/micheline_printer.ml
View File

@ -165,8 +165,19 @@ and print_expr ppf = function
Format.fprintf ppf "(%a)" print_expr_unwrapped expr Format.fprintf ppf "(%a)" print_expr_unwrapped expr
| expr -> print_expr_unwrapped ppf expr | expr -> print_expr_unwrapped ppf expr
let with_unbounded_formatter ppf f x =
let buf = Buffer.create 10000 in
let sppf = Format.formatter_of_buffer buf in
Format.pp_set_margin sppf 199999 ;
Format.pp_set_max_indent sppf 99999 ;
Format.pp_set_max_boxes sppf 99999 ;
f sppf x ;
Format.fprintf sppf "%!" ;
let lines = String.split_on_char '\n' (Buffer.contents buf) in
Format.pp_print_list ~pp_sep:Format.pp_force_newline Format.pp_print_string ppf lines
let print_expr_unwrapped ppf expr = let print_expr_unwrapped ppf expr =
print_expr_unwrapped ppf (preformat expr) with_unbounded_formatter ppf print_expr_unwrapped (preformat expr)
let print_expr ppf expr = let print_expr ppf expr =
print_expr ppf (preformat expr) with_unbounded_formatter ppf print_expr (preformat expr)