diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-18 21:39:03 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-18 21:39:03 +0200 |
| commit | 23041481ff368b0b4cfc9a2493c9f465df90ea90 (patch) | |
| tree | fa981847c7fe17b18d4453403d19df9e32b26a38 /dev/top_printers.ml | |
| parent | dbdff037af1a80d223be6e4d093417bae301c583 (diff) | |
Fix debug printing with primitive projections.
Add a flag to indicate if we're in the toplevel or debuggger to not try
to retype terms in the wrong environment (and making find_rectype,
get_type_of untraceable). This fixes bug #3638 along with the previous
commit.
Diffstat (limited to 'dev/top_printers.ml')
| -rw-r--r-- | dev/top_printers.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/top_printers.ml b/dev/top_printers.ml index 4fedbec8e..6bf294967 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -552,6 +552,6 @@ let short_string_of_ref loc _ = function (* Anticipate that printers can be used from ocamldebug and that pretty-printer should not make calls to the global env since ocamldebug runs in a different process and does not have the proper env at hand *) -let _ = Constrextern.in_debugger := true +let _ = Flags.in_debugger := true let _ = Constrextern.set_extern_reference (if !rawdebug then raw_string_of_ref else short_string_of_ref) |