diff options
Diffstat (limited to 'stdlib/format.mli')
| -rw-r--r-- | stdlib/format.mli | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/stdlib/format.mli b/stdlib/format.mli index c8146d747..f660b1f24 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -631,13 +631,19 @@ val fprintf : formatter -> ('a, formatter, unit) format -> 'a;; For more details about tags, see the functions [open_tag] and [close_tag]. - [@\}]: close the most recently opened tag. - - [@@]: print a plain [@] character. - [@%]: print a plain [%] character. Example: [printf "@[%s@ %d@]@." "x =" 1] is equivalent to [open_box (); print_string "x ="; print_space (); print_int 1; close_box (); print_newline ()]. It prints [x = 1] within a pretty-printing box. + + Note: the old [@@] ``pretty-printing indication'' is now deprecated, since + it had no pretty-printing indication semantics. If you need to prevent + the pretty-printing indication interpretation of a [@] character, simply + use the regular way to escape a character in format string: write [%@]. + @since 3.12.2. + *) val printf : ('a, formatter, unit) format -> 'a;; |