We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1b2c769 commit c6c9199Copy full SHA for c6c9199
Token/Transaction.juvix
@@ -141,10 +141,7 @@ send (self : KeyPair) (token : Resource) (amount : Nat) (receiver : PublicKey)
141
let
142
myself : PublicKey := KeyPair.pubKey self;
143
availableAmount : Nat := Resource.quantity token;
144
- in if
145
- | not (isTransferable token) := throw mkNonTransferableError
146
- | else :=
147
- case (compare availableAmount amount) of
+ in case (compare availableAmount amount) of
148
| LT := throw mkInsufficientQuantityError@{limit := availableAmount; actual := amount}
149
| EQ := transfer self token receiver
150
| GT :=
0 commit comments