From 19f02a4b36329efe758fa85483296e5a00f8023e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Wed, 17 Jun 2020 23:27:00 +0100 Subject: [PATCH] bugfix: forgot to explicitly discard new typer state --- src/test/test_helpers.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/test/test_helpers.ml b/src/test/test_helpers.ml index 12ea7cc9c..9ed64a53c 100644 --- a/src/test/test_helpers.ml +++ b/src/test/test_helpers.ml @@ -99,7 +99,8 @@ let typed_program_with_imperative_input_to_michelson let%bind sugar = Compile.Of_imperative.compile_expression input in let%bind core = Compile.Of_sugar.compile_expression sugar in let%bind app = Compile.Of_core.apply entry_point core in - let%bind (typed_app,_) = Compile.Of_core.compile_expression ~env ~state app in + let%bind (typed_app,new_state) = Compile.Of_core.compile_expression ~env ~state app in + let () = Typer.Solver.discard_state new_state in let%bind compiled_applied = Compile.Of_typed.compile_expression typed_app in let%bind mini_c_prg = Compile.Of_typed.compile program in Compile.Of_mini_c.aggregate_and_compile_expression mini_c_prg compiled_applied