Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ou stderr suivant le contexte

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

1 files changed, 46 insertions, 44 deletions

diff --git a/debugger/.depend b/debugger/.depend
index 62074d6ca2..c35f63289d 100644
--- a/debugger/.depend
+++ b/debugger/.depend
@@ -30,44 +30,44 @@ checkpoints.cmo: debugcom.cmi primitives.cmi checkpoints.cmi
 checkpoints.cmx: debugcom.cmx primitives.cmx checkpoints.cmi 
 command_line.cmo: breakpoints.cmi checkpoints.cmi ../utils/config.cmi \
     ../typing/ctype.cmi debugcom.cmi debugger_config.cmi envaux.cmi eval.cmi \
-    events.cmi frames.cmi history.cmi input_handling.cmi \
-    ../bytecomp/instruct.cmi ../parsing/lexer.cmi loadprinter.cmi \
-    ../utils/misc.cmi parameters.cmi parser.cmi parser_aux.cmi primitives.cmi \
-    printval.cmi program_loading.cmi program_management.cmi \
-    show_information.cmi show_source.cmi source.cmi symbols.cmi \
-    time_travel.cmi ../typing/types.cmi ../otherlibs/unix/unix.cmi \
-    unix_tools.cmi command_line.cmi 
+    events.cmi ../utils/formatmsg.cmi frames.cmi history.cmi \
+    input_handling.cmi ../bytecomp/instruct.cmi ../parsing/lexer.cmi \
+    loadprinter.cmi ../utils/misc.cmi parameters.cmi parser.cmi \
+    parser_aux.cmi primitives.cmi printval.cmi program_loading.cmi \
+    program_management.cmi show_information.cmi show_source.cmi source.cmi \
+    symbols.cmi time_travel.cmi ../typing/types.cmi \
+    ../otherlibs/unix/unix.cmi unix_tools.cmi command_line.cmi 
 command_line.cmx: breakpoints.cmx checkpoints.cmx ../utils/config.cmx \
     ../typing/ctype.cmx debugcom.cmx debugger_config.cmx envaux.cmx eval.cmx \
-    events.cmx frames.cmx history.cmx input_handling.cmx \
-    ../bytecomp/instruct.cmx ../parsing/lexer.cmx loadprinter.cmx \
-    ../utils/misc.cmx parameters.cmx parser.cmx parser_aux.cmi primitives.cmx \
-    printval.cmx program_loading.cmx program_management.cmx \
-    show_information.cmx show_source.cmx source.cmx symbols.cmx \
-    time_travel.cmx ../typing/types.cmx ../otherlibs/unix/unix.cmx \
-    unix_tools.cmx command_line.cmi 
+    events.cmx ../utils/formatmsg.cmx frames.cmx history.cmx \
+    input_handling.cmx ../bytecomp/instruct.cmx ../parsing/lexer.cmx \
+    loadprinter.cmx ../utils/misc.cmx parameters.cmx parser.cmx \
+    parser_aux.cmi primitives.cmx printval.cmx program_loading.cmx \
+    program_management.cmx show_information.cmx show_source.cmx source.cmx \
+    symbols.cmx time_travel.cmx ../typing/types.cmx \
+    ../otherlibs/unix/unix.cmx unix_tools.cmx command_line.cmi 
 debugcom.cmo: input_handling.cmi ../utils/misc.cmi primitives.cmi \
     debugcom.cmi 
 debugcom.cmx: input_handling.cmx ../utils/misc.cmx primitives.cmx \
     debugcom.cmi 
 debugger_config.cmo: debugger_config.cmi 
 debugger_config.cmx: debugger_config.cmi 
-envaux.cmo: ../typing/env.cmi ../bytecomp/instruct.cmi ../utils/misc.cmi \
-    ../typing/mtype.cmi ../typing/path.cmi ../typing/printtyp.cmi \
-    ../typing/types.cmi envaux.cmi 
-envaux.cmx: ../typing/env.cmx ../bytecomp/instruct.cmx ../utils/misc.cmx \
-    ../typing/mtype.cmx ../typing/path.cmx ../typing/printtyp.cmx \
-    ../typing/types.cmx envaux.cmi 
+envaux.cmo: ../typing/env.cmi ../utils/formatmsg.cmi ../bytecomp/instruct.cmi \
+    ../utils/misc.cmi ../typing/mtype.cmi ../typing/path.cmi \
+    ../typing/printtyp.cmi ../typing/types.cmi envaux.cmi 
+envaux.cmx: ../typing/env.cmx ../utils/formatmsg.cmx ../bytecomp/instruct.cmx \
+    ../utils/misc.cmx ../typing/mtype.cmx ../typing/path.cmx \
+    ../typing/printtyp.cmx ../typing/types.cmx envaux.cmi 
 eval.cmo: ../typing/btype.cmi ../typing/ctype.cmi debugcom.cmi \
-    debugger_config.cmi ../typing/env.cmi frames.cmi ../typing/ident.cmi \
-    ../bytecomp/instruct.cmi ../parsing/longident.cmi ../utils/misc.cmi \
-    parser_aux.cmi ../typing/path.cmi ../typing/predef.cmi \
+    debugger_config.cmi ../typing/env.cmi ../utils/formatmsg.cmi frames.cmi \
+    ../typing/ident.cmi ../bytecomp/instruct.cmi ../parsing/longident.cmi \
+    ../utils/misc.cmi parser_aux.cmi ../typing/path.cmi ../typing/predef.cmi \
     ../typing/printtyp.cmi printval.cmi ../bytecomp/symtable.cmi \
     ../typing/types.cmi eval.cmi 
 eval.cmx: ../typing/btype.cmx ../typing/ctype.cmx debugcom.cmx \
-    debugger_config.cmx ../typing/env.cmx frames.cmx ../typing/ident.cmx \
-    ../bytecomp/instruct.cmx ../parsing/longident.cmx ../utils/misc.cmx \
-    parser_aux.cmi ../typing/path.cmx ../typing/predef.cmx \
+    debugger_config.cmx ../typing/env.cmx ../utils/formatmsg.cmx frames.cmx \
+    ../typing/ident.cmx ../bytecomp/instruct.cmx ../parsing/longident.cmx \
+    ../utils/misc.cmx parser_aux.cmi ../typing/path.cmx ../typing/predef.cmx \
     ../typing/printtyp.cmx printval.cmx ../bytecomp/symtable.cmx \
     ../typing/types.cmx eval.cmi 
 events.cmo: checkpoints.cmi ../bytecomp/instruct.cmi primitives.cmi \
@@ -91,15 +91,15 @@ input_handling.cmx: ../parsing/lexer.cmx primitives.cmx \
 lexer.cmo: parser.cmi primitives.cmi 
 lexer.cmx: parser.cmx primitives.cmx 
 loadprinter.cmo: ../utils/config.cmi ../typing/ctype.cmi debugger_config.cmi \
-    ../otherlibs/dynlink/dynlink.cmi ../typing/env.cmi ../typing/ident.cmi \
-    ../parsing/longident.cmi ../utils/misc.cmi ../typing/path.cmi \
-    ../typing/predef.cmi ../typing/printtyp.cmi printval.cmi \
-    ../bytecomp/symtable.cmi ../typing/types.cmi loadprinter.cmi 
+    ../otherlibs/dynlink/dynlink.cmi ../typing/env.cmi ../utils/formatmsg.cmi \
+    ../typing/ident.cmi ../parsing/longident.cmi ../utils/misc.cmi \
+    ../typing/path.cmi ../typing/predef.cmi ../typing/printtyp.cmi \
+    printval.cmi ../bytecomp/symtable.cmi ../typing/types.cmi loadprinter.cmi 
 loadprinter.cmx: ../utils/config.cmx ../typing/ctype.cmx debugger_config.cmx \
-    ../otherlibs/dynlink/dynlink.cmx ../typing/env.cmx ../typing/ident.cmx \
-    ../parsing/longident.cmx ../utils/misc.cmx ../typing/path.cmx \
-    ../typing/predef.cmx ../typing/printtyp.cmx printval.cmx \
-    ../bytecomp/symtable.cmx ../typing/types.cmx loadprinter.cmi 
+    ../otherlibs/dynlink/dynlink.cmx ../typing/env.cmx ../utils/formatmsg.cmx \
+    ../typing/ident.cmx ../parsing/longident.cmx ../utils/misc.cmx \
+    ../typing/path.cmx ../typing/predef.cmx ../typing/printtyp.cmx \
+    printval.cmx ../bytecomp/symtable.cmx ../typing/types.cmx loadprinter.cmi 
 main.cmo: checkpoints.cmi command_line.cmi ../utils/config.cmi \
     debugger_config.cmi exec.cmi frames.cmi input_handling.cmi \
     ../utils/misc.cmi parameters.cmi primitives.cmi program_management.cmi \
@@ -124,12 +124,12 @@ pattern_matching.cmx: ../typing/ctype.cmx debugcom.cmx debugger_config.cmx \
     pattern_matching.cmi 
 primitives.cmo: ../otherlibs/unix/unix.cmi primitives.cmi 
 primitives.cmx: ../otherlibs/unix/unix.cmx primitives.cmi 
-printval.cmo: debugcom.cmi ../toplevel/genprintval.cmi ../utils/misc.cmi \
-    parser_aux.cmi ../typing/path.cmi ../typing/printtyp.cmi \
-    ../typing/types.cmi printval.cmi 
-printval.cmx: debugcom.cmx ../toplevel/genprintval.cmx ../utils/misc.cmx \
-    parser_aux.cmi ../typing/path.cmx ../typing/printtyp.cmx \
-    ../typing/types.cmx printval.cmi 
+printval.cmo: debugcom.cmi ../utils/formatmsg.cmi ../toplevel/genprintval.cmi \
+    ../utils/misc.cmi parser_aux.cmi ../typing/path.cmi \
+    ../typing/printtyp.cmi ../typing/types.cmi printval.cmi 
+printval.cmx: debugcom.cmx ../utils/formatmsg.cmx ../toplevel/genprintval.cmx \
+    ../utils/misc.cmx parser_aux.cmi ../typing/path.cmx \
+    ../typing/printtyp.cmx ../typing/types.cmx printval.cmi 
 program_loading.cmo: debugger_config.cmi input_handling.cmi ../utils/misc.cmi \
     parameters.cmi primitives.cmi ../otherlibs/unix/unix.cmi unix_tools.cmi \
     program_loading.cmi 
@@ -147,11 +147,13 @@ program_management.cmx: breakpoints.cmx debugcom.cmx debugger_config.cmx \
     time_travel.cmx ../otherlibs/unix/unix.cmx unix_tools.cmx \
     program_management.cmi 
 show_information.cmo: breakpoints.cmi checkpoints.cmi debugcom.cmi events.cmi \
-    frames.cmi ../bytecomp/instruct.cmi ../utils/misc.cmi primitives.cmi \
-    printval.cmi show_source.cmi symbols.cmi show_information.cmi 
+    ../utils/formatmsg.cmi frames.cmi ../bytecomp/instruct.cmi \
+    ../utils/misc.cmi primitives.cmi printval.cmi show_source.cmi symbols.cmi \
+    show_information.cmi 
 show_information.cmx: breakpoints.cmx checkpoints.cmx debugcom.cmx events.cmx \
-    frames.cmx ../bytecomp/instruct.cmx ../utils/misc.cmx primitives.cmx \
-    printval.cmx show_source.cmx symbols.cmx show_information.cmi 
+    ../utils/formatmsg.cmx frames.cmx ../bytecomp/instruct.cmx \
+    ../utils/misc.cmx primitives.cmx printval.cmx show_source.cmx symbols.cmx \
+    show_information.cmi 
 show_source.cmo: debugger_config.cmi ../utils/misc.cmi parameters.cmi \
     primitives.cmi source.cmi show_source.cmi 
 show_source.cmx: debugger_config.cmx ../utils/misc.cmx parameters.cmx \