summaryrefslogtreecommitdiff
path: root/src/Interpreter.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/Interpreter.ml')
-rw-r--r--src/Interpreter.ml11
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