Pascal-Chapter Transactions

Chapter 17 : Transactions

Hey captain, we’ve been hanging with that vendor a long time now. Can we finally pay him and go to Osiris?

You can transfer tez to an account, or to a function of another smart contract. For this, use :

where :

• parameter is the entrypoint of another contract, or use unit if you are transferring to a wallet address,
• mutez is the amount to transfer,
• contract is the contract interface of the targeted contract. It can be retrieved from address of the other contract or the wallet.

Your mission

1- Transfer the purchase_price to the vendor_contract

1 function purchase (const purchase_price : tez) : bool is 2 block { 3 const ship_address : address = (“tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV” : address); 4 const vendor_address : address = (“tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx” : address); 5 6 if Tezos.source =/= ship_address then failwith (“Access denied”); 7 if Tezos.amount =/= purchase_price then failwith (“Incorrect amount”); 8 9 const vendor_contract : contract (unit) = 10 case (Tezos.get_contract_opt (vendor_address) : option (contract (unit))) of 11 Some (c) -> c 12 | None -> (failwith (“Contract not found.”) : contract (unit)) 13 end; 14 // Type your solution below 15 16 } with True 17