Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Correcting the treatment of @?. 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6111 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Pierre Weis 2004-02-11 22:20:04 +00:00
parent 7fe9b14904
commit 6ba80fdf70
2 changed files with 14 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
stdlib/format.ml
View File

@ -491,15 +491,16 @@ let pp_get_formatter_tag_functions state () = {
print_close_tag = state.pp_print_close_tag;
};;
let pp_set_formatter_tag_functions state
{mark_open_tag = motag;
mark_close_tag = mctag;
print_open_tag = potag;
print_close_tag = pctag;} =
state.pp_mark_open_tag <- motag;
state.pp_mark_close_tag <- mctag;
state.pp_print_open_tag <- potag;
state.pp_print_close_tag <- pctag;;
let pp_set_formatter_tag_functions state {
mark_open_tag = mot;
mark_close_tag = mct;
print_open_tag = pot;
print_close_tag = pct;
} =
state.pp_mark_open_tag <- mot;
state.pp_mark_close_tag <- mct;
state.pp_print_open_tag <- pot;
state.pp_print_close_tag <- pct;;
(* Initialize pretty-printer. *)
let pp_rinit state =
@ -519,9 +520,10 @@ let pp_flush_queue state b =
while state.pp_curr_depth > 1 do
pp_close_box state ()
done;
state.pp_right_total <- pp_infinity; advance_left state;
state.pp_right_total <- pp_infinity;
advance_left state;
if b then pp_output_newline state;
pp_rinit state;;
if b then pp_rinit state;;
(**************************************************************

2
stdlib/format.mli
View File

@ -586,7 +586,7 @@ val fprintf : formatter -> ('a, formatter, unit) format -> 'a;;
the [<] character, followed by an integer [nspaces] value,
then an integer offset, and a closing [>] character.
- [@?]: flush the pretty printer as with [print_flush ()].
This is equivalent to the conversion [%$].
This is equivalent to the conversion [%!].
- [@.]: flush the pretty printer and output a new line, as with
[print_newline ()].
- [@<n>]: print the following item as if it were of length [n].