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

Fixed semantic conflict (split bytes into several constructor functions)

Browse Source
This commit is contained in:
Suzanne Dupéron 2020-01-23 11:43:43 +01:00
parent f166748757
commit 4977c18e05
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/test/integration_tests.ml
View File

@ -1931,7 +1931,7 @@ let check_signature () : unit result =
let%bind program = type_file "./contracts/check_signature.ligo" in let%bind program = type_file "./contracts/check_signature.ligo" in
let make_input = e_tuple [e_key pk_str ; let make_input = e_tuple [e_key pk_str ;
e_signature (Signature.to_b58check signed) ; e_signature (Signature.to_b58check signed) ;
e_bytes_ofbytes (Bytes.of_string "hello world")] in e_bytes_string "hello world"] in
let make_expected = e_bool true in let make_expected = e_bool true in
let%bind () = expect_eq program "check_signature" make_input make_expected in let%bind () = expect_eq program "check_signature" make_input make_expected in
ok () ok ()
@ -1944,7 +1944,7 @@ let check_signature_mligo () : unit result =
let%bind program = mtype_file "./contracts/check_signature.mligo" in let%bind program = mtype_file "./contracts/check_signature.mligo" in
let make_input = e_tuple [e_key pk_str ; let make_input = e_tuple [e_key pk_str ;
e_signature (Signature.to_b58check signed) ; e_signature (Signature.to_b58check signed) ;
e_bytes_ofbytes (Bytes.of_string "hello world")] in e_bytes_string "hello world"] in
let make_expected = e_bool true in let make_expected = e_bool true in
let%bind () = expect_eq program "check_signature" make_input make_expected in let%bind () = expect_eq program "check_signature" make_input make_expected in
ok () ok ()
@ -1957,7 +1957,7 @@ let check_signature_religo () : unit result =
let%bind program = retype_file "./contracts/check_signature.religo" in let%bind program = retype_file "./contracts/check_signature.religo" in
let make_input = e_tuple [e_key pk_str ; let make_input = e_tuple [e_key pk_str ;
e_signature (Signature.to_b58check signed) ; e_signature (Signature.to_b58check signed) ;
e_bytes_ofbytes (Bytes.of_string "hello world")] in e_bytes_string "hello world"] in
let make_expected = e_bool true in let make_expected = e_bool true in
let%bind () = expect_eq program "check_signature" make_input make_expected in let%bind () = expect_eq program "check_signature" make_input make_expected in
ok () ok ()