diff options
Diffstat (limited to 'src/Interpreter.ml')
| -rw-r--r-- | src/Interpreter.ml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 4405c409..cd7952e0 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -7,17 +7,6 @@ open Cps open InterpreterUtils open InterpreterStatements -(* TODO: it would be good to find a "core", which implements the rules (like - "end_borrow") and on top of which we build more complex functions which - chose in which order to apply the rules, etc. This way we would make very - explicit where we need to insert sanity checks, what the preconditions are, - where invariants might be broken, etc. -*) - -(* TODO: intensively test with PLT-redex *) - -(* TODO: remove the config parameters when they are useless *) - (** The local logger *) let log = L.interpreter_log |