Tezos Stack Exchange is a question and answer site for users, experts, and developers of the Tezos blockchain project. It only takes a minute to sign up.
Sign up to join this community
Error: Type sp.TInt / sp.TNat mismatch
sp.is_nat expects a sp.TInt
Got: sp.TNat
line 119
Line: 119
self.data.shop_items[item_to_purchase.key].amount -= sp.as_nat(item_to_purchase.value)
I'm not sure where the sp.TInt is coming from... All the numbers are supposed to be sp.TNat
Doing math on nats casts them to an int. The value needs to be casted back to a nat after the subtraction:
self.data.shop_items[item_to_purchase.key].amount = sp.as_nat(self.data.shop_items[item_to_purchase.key].amount - item_to_purchase.value)