Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- (*
- # Sys.ocaml_version ;;
- - : string = "4.02.3"
- *)
- let margfn ff =
- let oldmarg = Format.pp_get_margin ff () in
- Printf.printf "pp_get_margin before = %d\n" oldmarg ;
- Format.pp_set_margin ff max_int ;
- Printf.printf "pp_get_margin after = %d\n" (Format.pp_get_margin ff ())
- (*
- # margfn Format.std_formatter ;;
- pp_get_margin before = 78
- pp_get_margin after = 1000000009
- - : unit = ()
- *)
- let maxindfn ff =
- let oldmaxind = Format.pp_get_max_indent ff () in
- Printf.printf "pp_get_max_indent before = %d\n" oldmaxind ;
- Format.pp_set_max_indent ff max_int ;
- Printf.printf "pp_get_max_indent after = %d\n" (Format.pp_get_max_indent ff ())
- (*
- # maxindfn Format.std_formatter ;;
- pp_get_max_indent before = 68
- pp_get_max_indent after = 68
- - : unit = ()
- *)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement