From 4977c18e052b718ee173198cdf616d49587cd66f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Thu, 23 Jan 2020 11:43:43 +0100 Subject: [PATCH] Fixed semantic conflict (split bytes into several constructor functions) --- src/test/integration_tests.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/test/integration_tests.ml b/src/test/integration_tests.ml index 3c90c8f77..789f2a6c4 100644 --- a/src/test/integration_tests.ml +++ b/src/test/integration_tests.ml @@ -1931,7 +1931,7 @@ let check_signature () : unit result = let%bind program = type_file "./contracts/check_signature.ligo" in let make_input = e_tuple [e_key pk_str ; 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%bind () = expect_eq program "check_signature" make_input make_expected in ok () @@ -1944,7 +1944,7 @@ let check_signature_mligo () : unit result = let%bind program = mtype_file "./contracts/check_signature.mligo" in let make_input = e_tuple [e_key pk_str ; 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%bind () = expect_eq program "check_signature" make_input make_expected in ok () @@ -1957,7 +1957,7 @@ let check_signature_religo () : unit result = let%bind program = retype_file "./contracts/check_signature.religo" in let make_input = e_tuple [e_key pk_str ; 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%bind () = expect_eq program "check_signature" make_input make_expected in ok ()