Default policy is to ignore tag printing completely.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Pierre Weis 2003-01-24 14:26:56 +00:00
parent f29e3df91f
commit 9bbe6d7d7a
2 changed files with 4 additions and 4 deletions

View File

@ -722,8 +722,8 @@ let pp_make_formatter f g h i =
pp_flush_function = g;
pp_output_newline = h;
pp_output_spaces = i;
pp_print_tags = true;
pp_mark_tags = true;
pp_print_tags = false;
pp_mark_tags = false;
pp_mark_open_tag = default_pp_mark_open_tag;
pp_mark_close_tag = default_pp_mark_close_tag;
pp_print_open_tag = default_pp_print_open_tag;

View File

@ -331,10 +331,10 @@ val close_tag : unit -> unit;;
into the output device of the formatter. *)
val set_tags : bool -> unit;;
(** [set_tags b] turns on or off the treatment of tags (default is on). *)
(** [set_tags b] turns on or off the treatment of tags (default is off). *)
val set_print_tags : bool -> unit;;
val set_mark_tags : bool -> unit;;
(** [set_print_tags b] turns on or off the printing of tags, while
(** [set_print_tags b] turns on or off the printing of tags, while
[set_mark_tags b] turns on or off the output of tag markers. *)
val get_print_tags : unit -> bool;;
val get_mark_tags : unit -> bool;;