diff options
| author | Son Ho | 2021-11-25 12:06:01 +0100 |
|---|---|---|
| committer | Son Ho | 2021-11-25 12:06:01 +0100 |
| commit | 1f967c8c0aeaa3c411867baef7111f4a500c2b6d (patch) | |
| tree | 8884e773a708692d04e9b693125e28761ee509ea | |
| parent | 8fb482d937b7514344cf5afa1fd20ee2c58fc395 (diff) | |
Start working on type substitution
Diffstat (limited to '')
| -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 |