1

I am trying to dry-run one contract on online Ligo IDE,

Access function :

main

Parameters :

(10n, ("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address))

The logo code is compiling fine and I don't think there is any problem in the code but in the way I am passing the parameters as the error is :

Error

Error: ligo: in file "", line 0, character 0 to line 1, character 57. different keys in tuple and record: Expected these two types to be the same, but they're different (one is a tuple and the other is a record) {"a":"( nat * address )","b":"record[amount -> nat , tr_to -> address]"}

Can someone please help me in sending the parameters rightly. Thanks in advance.

  • Update: I converted my parameters to this: Mint {amount= 10n; tr_to= ("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address)} and it started working! – Mohit Gupta Jun 12 at 8:22
  • Please post as answer and mark your answer as accepted so the system will mark your question “answered” – Ezy Jun 14 at 13:21
0

Update:

I converted my parameters to this: Mint {amount= 10n; tr_to= ("tz1KqTpEZ7Yob7QbPE4Hy4Wo8fHG8LhKxZSx" : address)} and it started working!

| improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.