From 47b94c9938bccf1ea2b2ec1ff2cc188b6a4765ef Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 26 Jan 2022 17:03:06 +0100
Subject: Do a minor cleanup

---
 src/Interpreter.ml | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'src')

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
 
-- 
cgit v1.2.3