Chapter 17 : Transactions

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

Tezos.transaction (<parameter>, <mutez>, <contract>);

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 let purchase = (purchase_price : tez) : bool => { 2 const ship_address: address = (“tz1TGu6TN5GSez2ndXXeDX6LgUDvLzPLqgYV” as address); 3 const vendor_address: address = (“tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx” as address); 4 5 if (Tezos.source != ship_address) { 6 failwith (“Access denied”); 7 } else { 8 unit; 9 }; 10 if (Tezos.amount != purchase_price) { 11 failwith (“Incorrect amount”); 12 } else { 13 unit; 14 }; 15 const vendor_contract: contract<unit> = match( 16 Tezos.get_contract_opt(vendor_address) as option<contract<unit>>, { 17 Some: (contract: option<contract<unit>>) => contract, 18 None: () => failwith (“Contract not found.”) as contract<unit>, 19 } 20 ); 21 // Type your solution below 22 23 return true; 24 }; 25 26