summaryrefslogtreecommitdiffstats
path: root/debugger
diff options
context:
space:
mode:
Diffstat (limited to 'debugger')
-rw-r--r--debugger/.depend90
-rw-r--r--debugger/Makefile2
-rw-r--r--debugger/command_line.ml2
-rw-r--r--debugger/envaux.ml2
-rw-r--r--debugger/eval.ml2
-rw-r--r--debugger/loadprinter.ml4
-rw-r--r--debugger/printval.ml2
-rw-r--r--debugger/show_information.ml2
8 files changed, 54 insertions, 52 deletions
diff --git a/debugger/.depend b/debugger/.depend
index 62074d6ca..c35f63289 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 \
diff --git a/debugger/Makefile b/debugger/Makefile
index 93dbc35a1..4e7738d0d 100644
--- a/debugger/Makefile
+++ b/debugger/Makefile
@@ -15,7 +15,7 @@ INCLUDES=\
OTHEROBJS=\
../otherlibs/unix/unix.cma \
- ../utils/misc.cmo ../utils/config.cmo \
+ ../utils/misc.cmo ../utils/formatmsg.cmo ../utils/config.cmo \
../utils/tbl.cmo ../utils/clflags.cmo \
../parsing/longident.cmo \
../typing/ident.cmo ../typing/path.cmo ../typing/types.cmo \
diff --git a/debugger/command_line.ml b/debugger/command_line.ml
index 43fcd1b6d..33a519d47 100644
--- a/debugger/command_line.ml
+++ b/debugger/command_line.ml
@@ -14,7 +14,7 @@
(************************ Reading and executing commands ***************)
-open Format
+open Formatmsg
open Misc
open Instruct
open Unix
diff --git a/debugger/envaux.ml b/debugger/envaux.ml
index 89e79c829..e19775d7c 100644
--- a/debugger/envaux.ml
+++ b/debugger/envaux.ml
@@ -75,7 +75,7 @@ let env_of_event =
(* Error report *)
-open Format
+open Formatmsg
let report_error error =
open_box 0;
diff --git a/debugger/eval.ml b/debugger/eval.ml
index 0d7971634..4850ad357 100644
--- a/debugger/eval.ml
+++ b/debugger/eval.ml
@@ -159,7 +159,7 @@ and find_label lbl env ty path tydesc pos = function
(* Error report *)
-open Format
+open Formatmsg
let report_error error =
open_box 0;
diff --git a/debugger/loadprinter.ml b/debugger/loadprinter.ml
index aaf48a259..f77591256 100644
--- a/debugger/loadprinter.ml
+++ b/debugger/loadprinter.ml
@@ -55,7 +55,7 @@ let use_debugger_symtable fn arg =
(* Load a .cmo or .cma file *)
-open Format
+open Formatmsg
let rec loadfiles name =
try
@@ -127,7 +127,7 @@ let remove_printer lid =
(* Error report *)
-open Format
+open Formatmsg
let report_error error =
open_box 0;
diff --git a/debugger/printval.ml b/debugger/printval.ml
index 56ca2a888..f751e75cf 100644
--- a/debugger/printval.ml
+++ b/debugger/printval.ml
@@ -16,7 +16,7 @@
open Misc
open Obj
-open Format
+open Formatmsg
open Parser_aux
open Path
open Types
diff --git a/debugger/show_information.ml b/debugger/show_information.ml
index 47c25a2b8..487fdacb5 100644
--- a/debugger/show_information.ml
+++ b/debugger/show_information.ml
@@ -13,7 +13,7 @@
(* $Id$ *)
open Instruct
-open Format
+open Formatmsg
open Primitives
open Debugcom
open Checkpoints
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-04-02 08:59:55 +0000