diff options
Diffstat (limited to 'src/Interpreter.ml')
| -rw-r--r-- | src/Interpreter.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 9af0f936..66245572 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -6,9 +6,11 @@ open CfimAst open Print.Values open Errors open Contexts +module Subst = Substitute (* TODO: Change state-passing style to : st -> ... -> (st, v) *) (* TODO: check that the value types are correct when evaluating *) +(* TODO: module Type = T, etc. *) type eval_error = Panic |