From e0be6fc36f99c5aeac919f2e453c8a8a0fb5638c Mon Sep 17 00:00:00 2001 From: Pierre-Emmanuel Wulfman Date: Tue, 5 May 2020 17:24:03 +0200 Subject: [PATCH] done --- src/bin/cli.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/bin/cli.ml b/src/bin/cli.ml index e7a629c32..c7798eeb3 100644 --- a/src/bin/cli.ml +++ b/src/bin/cli.ml @@ -292,7 +292,7 @@ let interpret = let%bind mini_c_prg = Compile.Of_typed.compile typed_prg in let env = Ast_typed.program_environment typed_prg in ok (mini_c_prg,state,env) - | None -> ok ([],Typer.Solver.initial_state,Ast_typed.Environment.full_empty) in + | None -> ok ([],Typer.Solver.initial_state,Environment.default) in let%bind (typed_exp,_) = Compile.Utils.type_expression init_file syntax expression env state in let%bind mini_c_exp = Compile.Of_typed.compile_expression typed_exp in @@ -436,7 +436,7 @@ let evaluate_value = let compile_expression = let f expression syntax display_format michelson_format = toplevel ~display_format @@ - let env = Ast_typed.Environment.full_empty in + let env = Environment.default in let state = Typer.Solver.initial_state in let%bind compiled_exp = Compile.Utils.compile_expression None syntax expression env state in let%bind value = Run.evaluate_expression compiled_exp.expr compiled_exp.expr_ty in