balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

type compile_main function in contracts tests

Browse Source
This commit is contained in:
Lesenechal Remi 2019-12-06 18:37:45 +01:00
parent 6ed2f2b3ae
commit 255b9a6e00
3 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/test/coase_tests.ml
View File

@ -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

4
src/test/multisig_tests.ml
View File

@ -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

3
src/test/multisig_v2_tests.ml
View File

@ -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