From 9d83159e8983c30e42ff673e4dd7db5f7fe3bd21 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Tue, 10 Dec 2019 16:01:26 +0100 Subject: [PATCH] merge with dev --- src/test/integration_tests.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/test/integration_tests.ml b/src/test/integration_tests.ml index 7ccab871f..921a6a376 100644 --- a/src/test/integration_tests.ml +++ b/src/test/integration_tests.ml @@ -4,7 +4,9 @@ open Test_helpers open Ast_simplified.Combinators let retype_file f = - let%bind (typed , state , _env) = Ligo.Compile.Wrapper.source_to_typed (Syntax_name "reasonligo") f in + let%bind simplified = Ligo.Compile.Of_source.compile f (Syntax_name "reasonligo") in + let%bind typed,state = Ligo.Compile.Of_simplified.compile simplified in + let () = Typer.Solver.discard_state state in let () = Typer.Solver.discard_state state in ok typed let mtype_file f =