diff options
Diffstat (limited to 'src/Interpreter.ml')
| -rw-r--r-- | src/Interpreter.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 8eebd241..560cf58b 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -10,7 +10,6 @@ module L = Logging open TypesUtils open ValuesUtils -(* TODO: Change state-passing style to : st -> ... -> (st, v) *) (* TODO: check that the value types are correct when evaluating *) (* TODO: for debugging purposes, we might want to put use eval_ctx everywhere (rather than only env) *) |