diff options
author | Son Ho | 2021-12-01 13:49:32 +0100 |
---|---|---|
committer | Son Ho | 2021-12-01 13:49:32 +0100 |
commit | b951d7e571a24729303169733062154c4639f73a (patch) | |
tree | 0fc32d0a5d13fdeceb171f1045459e7d1b37a168 /src/Interpreter.ml | |
parent | 309295376d22b1931ff7cb908e4d9283e86ecc50 (diff) |
Move some definitions to new files
Diffstat (limited to 'src/Interpreter.ml')
-rw-r--r-- | src/Interpreter.ml | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index 21124c48..fefbb00b 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -7,6 +7,8 @@ module C = Contexts module Subst = Substitute module A = CfimAst 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 *) @@ -21,7 +23,7 @@ module L = Logging where invariants might be broken, etc. *) -(* TODO: test with PLT-redex *) +(* TODO: intensively test with PLT-redex *) (** Some utilities *) @@ -39,15 +41,6 @@ let statement_to_string ctx = Print.EvalCtxCfimAst.statement_to_string ctx "" " " (* TODO: move *) -let mk_unit_ty : T.ety = T.Tuple [] - -(* TODO: move *) -let mk_unit_value : V.typed_value = { V.value = V.Tuple []; V.ty = mk_unit_ty } - -let mk_typed_value (ty : T.ety) (value : V.value) : V.typed_value = - { V.value; ty } - -(* TODO: move *) let mk_var (index : V.VarId.id) (name : string option) (var_ty : T.ety) : A.var = { A.index; name; var_ty } |