Refined error message for unbound identifiers: if M.ident is unbound and M is unbound, then unbound module M is reported.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 0 insertions, 11 deletions

diff --git a/stdlib/format.mli b/stdlib/format.mli
index 156422f6fc..bab557f8b3 100644
--- a/stdlib/format.mli
+++ b/stdlib/format.mli
@@ -72,7 +72,6 @@
    the evaluation order of printing commands.
 *)
 
-
 (** {6 Boxes} *)
 
 val open_box : int -> unit;;
@@ -112,7 +111,6 @@ val print_char : char -> unit;;
 val print_bool : bool -> unit;;
 (** Prints a boolean in the current box. *)
 
-
 (** {6 Break hints} *)
 
 val print_space : unit -> unit;;
@@ -156,7 +154,6 @@ val print_if_newline : unit -> unit;;
    has just been split. Otherwise, ignore the next formatting
    command. *)
 
-
 (** {6 Margin} *)
 
 val set_margin : int -> unit;;
@@ -170,7 +167,6 @@ val set_margin : int -> unit;;
 val get_margin : unit -> int;;
 (** Returns the position of the right margin. *)
 
-
 (** {6 Maximum indentation limit} *)
 
 val set_max_indent : int -> unit;;
@@ -201,7 +197,6 @@ val get_max_boxes : unit -> int;;
 val over_max_boxes : unit -> bool;;
 (** Tests if the maximum number of boxes allowed have already been opened. *)
 
-
 (** {6 Advanced formatting} *)
 
 val open_hbox : unit -> unit;;
@@ -235,7 +230,6 @@ val open_hovbox : int -> unit;;
    When a new line is printed in the box, [d] is added to the
    current indentation. *)
 
-
 (** {6 Tabulations} *)
 
 val open_tbox : unit -> unit;;
@@ -262,7 +256,6 @@ val set_tab : unit -> unit;;
 val print_tab : unit -> unit;;
 (** [print_tab ()] is equivalent to [print_tbreak 0 0]. *)
 
-
 (** {6 Ellipsis} *)
 
 val set_ellipsis_text : string -> unit;;
@@ -272,7 +265,6 @@ val set_ellipsis_text : string -> unit;;
 val get_ellipsis_text : unit -> string;;
 (** Return the text of the ellipsis. *)
 
-
 (** {6 Tags} *)
 
 type tag = string;;
@@ -345,7 +337,6 @@ val get_print_tags : unit -> bool;;
 val get_mark_tags : unit -> bool;;
 (** Return the current status of tags printing and tags marking. *)
 
-
 (** {6 Redirecting formatter output} *)
 
 val set_formatter_out_channel : Pervasives.out_channel -> unit;;
@@ -436,7 +427,6 @@ val get_all_formatter_output_functions :
 (** Return the current output functions of the pretty-printer,
    including line breaking and indentation functions. *)
 
-
 (** {6 Multiple formatted output} *)
 
 type out_channel;;
@@ -587,7 +577,6 @@ val pp_get_formatter_tag_functions :
    evaluation of these primitives. For instance,
    [print_string] is equal to [pp_print_string std_formatter]. *)
 
-
 (** {6 [printf] like functions for pretty-printing.} *)
 
 val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a;;