diff options
| author | Alasdair Armstrong | 2019-10-25 17:46:30 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-10-25 17:46:30 +0100 |
| commit | 8182b700da5cc0a4b64b3d5dd1c486b112c0a092 (patch) | |
| tree | c5764317b92f9d3ca75be4df203ae6d78220edf0 /src/interpreter.ml | |
| parent | 0e2b220ec96cd29471bba9f46a132427bc4b1ac4 (diff) | |
Allow interactive commands to be setup outside isail.ml
can use Interactive.register_command to set up a new interactive
command, which allows commands to be set up near where the
functionality they interact with is defined, e.g. the ast slicing
commands are registered in Slice.ml. Also allows help messages to be
generated in a consistent way.
Diffstat (limited to 'src/interpreter.ml')
| -rw-r--r-- | src/interpreter.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/interpreter.ml b/src/interpreter.ml index 6707bc0b..dd322369 100644 --- a/src/interpreter.ml +++ b/src/interpreter.ml @@ -52,8 +52,6 @@ open Ast open Ast_util open Value - - type gstate = { registers : value Bindings.t; allow_registers : bool; (* For some uses we want to forbid touching any registers. *) |