diff options
| author | Alasdair Armstrong | 2019-11-04 20:36:17 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-11-04 20:38:35 +0000 |
| commit | f42e1a8adbf220bd03862bb08ca5103b6e1cde09 (patch) | |
| tree | e7a4a45e34dcd8508522c15bba4dd1548fb5a071 /src/interactive.ml | |
| parent | 6adffb527511e1cec333b292d93e6ae6748b2c47 (diff) | |
Allow overriding the interpreter effects
This allows read_mem and read_reg effects to be handled by GDB
Diffstat (limited to 'src/interactive.ml')
| -rw-r--r-- | src/interactive.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interactive.ml b/src/interactive.ml index 0fad3caf..2cca944c 100644 --- a/src/interactive.ml +++ b/src/interactive.ml @@ -51,7 +51,7 @@ open Ast open Ast_util open Printf - + let opt_interactive = ref false let opt_emacs_mode = ref false let opt_suppress_banner = ref false @@ -72,7 +72,7 @@ type action = | Action of (unit -> unit) let commands = ref [] - + let reflect_typ action = let open Type_check in let rec arg_typs = function |