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

wip: new error monad

Browse Source
This commit is contained in:
Pierre-Emmanuel Wulfman 2020-06-18 18:27:37 +02:00
parent 98487d8bb7
commit 36df068dfc
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/test/basic_multisig_tests.ml
View File

@ -49,12 +49,6 @@ let (first_owner , first_contract) =
let kt = id.implicit_contract in let kt = id.implicit_contract in
Protocol.Alpha_context.Contract.to_b58check kt , kt Protocol.Alpha_context.Contract.to_b58check kt , kt
let bad_contract () =
let title = (thunk ("Not a contract")) in
let message () = Format.asprintf "" in
let data = [
] in
error ~data title message ()
let op_list = let op_list =
let open Memory_proto_alpha.Protocol.Alpha_context in let open Memory_proto_alpha.Protocol.Alpha_context in
@ -63,7 +57,8 @@ let op_list =
let parameters : Script.lazy_expr = Script.unit_parameter in let parameters : Script.lazy_expr = Script.unit_parameter in
let entrypoint = "default" in let entrypoint = "default" in
let open Proto_alpha_utils in let open Proto_alpha_utils in
let%bind destination = Trace.trace_alpha_tzresult (bad_contract) @@ let%bind destination =
Trace.trace_alpha_tzresult (fun _ -> Main_errors.test_internal __LOC__) @@
Contract.of_b58check "tz1PpDGHRXFQq3sYDuH8EpLWzPm5PFpe1sLE" Contract.of_b58check "tz1PpDGHRXFQq3sYDuH8EpLWzPm5PFpe1sLE"
in in
ok @@ Transaction {amount=Tez.zero; parameters; entrypoint; destination} in ok @@ Transaction {amount=Tez.zero; parameters; entrypoint; destination} in