FA12.ligo

fa12.ligo

function approve (const addressSpender : address; const value : nat; var store : store) : return is
  block {
    // If sender is the spender approving is not necessary
    if sender = addressSpender then skip;
    else block {
        const senderAccount: account = getAccount(sender, store.accounts);
        var allowed: nat :=  getAllowance(addressSpender, senderAccount.allowances); 

        // Changing allowance value from non-zero value to a non-zero value is forbidden to prevent the corresponding attack vector.
        if allowed =/= 0n then failwith("UnsafeAllowanceChange");
        else block {
          // TODO: maybe this need a patch ?
          senderAccount.allowances[addressSpender] := value;
          store.accounts[sender] := senderAccount;
        }
    }
  } with (emptyOps, store);