From 255b9a6e00436f533180e8354008d57011dbd882 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Fri, 6 Dec 2019 18:37:45 +0100 Subject: [PATCH] type compile_main function in contracts tests --- src/test/coase_tests.ml | 4 ++-- src/test/multisig_tests.ml | 4 ++-- src/test/multisig_v2_tests.ml | 3 ++- 3 files changed, 6 insertions(+), 5 deletions(-) diff --git a/src/test/coase_tests.ml b/src/test/coase_tests.ml index a133fe792..32b21deba 100644 --- a/src/test/coase_tests.ml +++ b/src/test/coase_tests.ml @@ -19,8 +19,8 @@ let get_program = ) let compile_main () = - let%bind _ = Compile.Wrapper.source_to_michelson_contract - (Syntax_name "pascaligo") "./contracts/coase.ligo" "main" in + let%bind (_ : Tezos_utils.Michelson.michelson * (Ast_typed.program * Typer.Solver.state * Ast_typed.Types.full_environment)) = + Compile.Wrapper.source_to_michelson_contract (Syntax_name "pascaligo") "./contracts/coase.ligo" "main" in ok () open Ast_simplified diff --git a/src/test/multisig_tests.ml b/src/test/multisig_tests.ml index b97e0f161..b90b56ed2 100644 --- a/src/test/multisig_tests.ml +++ b/src/test/multisig_tests.ml @@ -16,8 +16,8 @@ let get_program = ) let compile_main () = - let%bind _ = Compile.Wrapper.source_to_michelson_contract - (Syntax_name "pascaligo") "./contracts/multisig.ligo" "main" in + let%bind (_ : Tezos_utils.Michelson.michelson * (Ast_typed.program * Typer.Solver.state * Ast_typed.Types.full_environment)) = + Compile.Wrapper.source_to_michelson_contract (Syntax_name "pascaligo") "./contracts/multisig.ligo" "main" in ok () open Ast_simplified diff --git a/src/test/multisig_v2_tests.ml b/src/test/multisig_v2_tests.ml index c0f39f181..4ddbb7b61 100644 --- a/src/test/multisig_v2_tests.ml +++ b/src/test/multisig_v2_tests.ml @@ -16,7 +16,8 @@ let get_program = ) let compile_main () = - let%bind _ = Compile.Wrapper.source_to_michelson_contract (Syntax_name "pascaligo") "./contracts/multisig-v2.ligo" "main" in + let%bind (_ : Tezos_utils.Michelson.michelson * (Ast_typed.program * Typer.Solver.state * Ast_typed.Types.full_environment)) = + Compile.Wrapper.source_to_michelson_contract (Syntax_name "pascaligo") "./contracts/multisig-v2.ligo" "main" in ok () open Ast_simplified