Fixed example #740

Merged
zxq9 merged 1 commits from docfix into lima 2020-03-31 20:14:14 +09:00

View File

@ -1012,8 +1012,8 @@ contract FundMe =
deadline : int, deadline : int,
goal : int } goal : int }
function spend(args : spend_args) = stateful function spend(args : spend_args) =
raw_spend(args.recipient, args.amount) Chain.spend(args.recipient, args.amount)
entrypoint init(beneficiary, deadline, goal) : state = entrypoint init(beneficiary, deadline, goal) : state =
{ contributions = {}, { contributions = {},
@ -1052,7 +1052,6 @@ contract FundMe =
require(state.total >= state.goal, "Project was not funded") require(state.total >= state.goal, "Project was not funded")
spend({recipient = state.beneficiary, spend({recipient = state.beneficiary,
amount = Contract.balance }) amount = Contract.balance })
put(state{ beneficiary = #0 })
stateful function withdraw_contributor() = stateful function withdraw_contributor() =
if(state.total >= state.goal) if(state.total >= state.goal)