diff options
Diffstat (limited to 'debugger')
| -rw-r--r-- | debugger/.depend | 4 | ||||
| -rw-r--r-- | debugger/main.ml | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/debugger/.depend b/debugger/.depend index 07a35e5464..3c219b63a5 100644 --- a/debugger/.depend +++ b/debugger/.depend @@ -111,12 +111,12 @@ main.cmo: unix_tools.cmi ../otherlibs/unix/unix.cmi time_travel.cmi \ show_information.cmi program_management.cmi primitives.cmi parameters.cmi \ ../utils/misc.cmi input_handling.cmi frames.cmi exec.cmi \ ../typing/env.cmi debugger_config.cmi ../utils/config.cmi \ - command_line.cmi checkpoints.cmi + command_line.cmi ../utils/clflags.cmi checkpoints.cmi main.cmx: unix_tools.cmx ../otherlibs/unix/unix.cmx time_travel.cmx \ show_information.cmx program_management.cmx primitives.cmx parameters.cmx \ ../utils/misc.cmx input_handling.cmx frames.cmx exec.cmx \ ../typing/env.cmx debugger_config.cmx ../utils/config.cmx \ - command_line.cmx checkpoints.cmx + command_line.cmx ../utils/clflags.cmx checkpoints.cmx parameters.cmo: primitives.cmi ../utils/misc.cmi envaux.cmi \ ../utils/config.cmi parameters.cmi parameters.cmx: primitives.cmx ../utils/misc.cmx envaux.cmx \ diff --git a/debugger/main.ml b/debugger/main.ml index 90f9e89842..624492b28c 100644 --- a/debugger/main.ml +++ b/debugger/main.ml @@ -128,6 +128,7 @@ let main () = current_prompt := debugger_prompt; printf "\tObjective Caml Debugger version %s@.@." Config.version; Config.load_path := !default_load_path; + Clflags.recursive_types := true; (* Allow recursive types. *) toplevel_loop (); (* Toplevel. *) kill_program (); exit 0 |