copy了一个合约,代码如下:
def storage:
stor0 is addr at storage 0
def withdraw(): # not payable
call stor0 with:
value eth.balance(this.address) wei
gas 2300 * is_zero(value) wei
if not ext_call.success:
revert with ext_call.return_data[0 len return_data.size]
def _fallback() payable: # default function
if calldata.size >= 4:
if withdraw() == uint32(call.func_hash) >> 224:
require not call.value
call stor0 with:
value eth.balance(this.address) wei
gas 2300 * is_zero(value) wei
if not ext_call.success:
revert with ext_call.return_data[0 len return_data.size]
我用Remix编译时报错,如下图所示,怎么解决啊?