タイプパラメータを使用してコントラクトを呼び出すにはどうすればよいですか？

- 3
- 155 2019-02-11
私は次の契約を結んでいます:

parameter (pair :doc (string %name) (string %sig)); storage (list (pair :doc (string %name) (string %sig))); code { DUP ; DIP { CDR @storage_slash_1 } ; CAR @parameter_slash_2 ; SWAP ; SWAP ; CONS ; NIL operation ; PAIR };

パラメータとしてdocタイプを使用してこのコントラクトを呼び出すにはどうすればよいですか?私が見つけたすべての例では、パラメータとして単一の文字列またはintを使用しています.

私は試してきました:

tezos-client transfer 0 from yolo to docs --arg '{ name = "test"; sig = "abcd" }'

しかし、それが流動性がパラメーターを表す方法だと思いますか?
I have the following contract:

parameter (pair :doc (string %name) (string %sig)); storage (list (pair :doc (string %name) (string %sig))); code { DUP ; DIP { CDR @storage_slash_1 } ; CAR @parameter_slash_2 ; SWAP ; SWAP ; CONS ; NIL operation ; PAIR };

How can I call this contract with an doc type as parameter? All the example I find use a single string or int as parameter.

I have been trying:

tezos-client transfer 0 from yolo to docs --arg '{ name = "test"; sig = "abcd" }'

But I guess that is how liquidity expresses parameters?
smart-contracts liquidity

2 回答

投票

- 4
- 2019-02-11
Michelson仕様に従って、正しい呼び出し規約を使用する必要があります.以下を使用する必要があります:

(Pair "this is a string" "a signature string")

もう1つの注意事項-なぜSWAPを繰り返したのですか?これにより、スタックが元の状態に効果的に戻ります.
As per the Michelson spec you need to use the correct calling convention. You should use the following:

(Pair "this is a string" "a signature string")

One other obeservation - Why do you have SWAP repeated? This effectively returns the stack to how it was.
- 本当にありがとう！Micelsonコードは、ReasonML-> Liquidity-> Michelsonからトランスパイルされましたが、おそらく最適ではありません.マイケルソンの仕様を掘り下げる必要があります.コードが繰り返しSWAPを追加している理由を必ず調べます.ありがとうございます.
  
  Thanks a bunch! The Micelson code was transpiled from ReasonML -> Liquidity -> Michelson, perhaps not optimal. I need to dig into the Michelson spec, and I'll be sure to look into why the code is adding that repeated SWAP Thanks again!
  - 0
  - 2019-02-12
  - asbjornenge
- 5
- 2019-02-12
Liquidityのnextブランチを使用する場合は、次を使用できます:

liquidity CONTRACT.liq --call-arg main '{ name = "test"; sig = "abcd" }'は、tezos-clientが使用する引数を出力します(mainは必要なエントリポイントです)

liquidity --re CONTRACT.liqを使用して、ReasonML構文でファイルを直接コンパイルします(前のコマンドにも--re引数を追加します)

(double SWAPは最適化されていない生成コードです.後のバージョンで、Michelsonコードに最適化のパスを追加します)
If you use the next branch of Liquidity, you can use :

liquidity CONTRACT.liq --call-arg main '{ name = "test"; sig = "abcd" }' to print the argument to be used by tezos-client (where main is the entry point you want)

liquidity --re CONTRACT.liq to directly compile a file in ReasonML syntax (add the --re argument in the previous command also)

(the double SWAP is under-optimized generated code, we will add a pass of optimization on the Michelson code in a later version)
- いいね！ここで素晴らしいフィードバックをありがとう `next`ブランチを試してみます
  
  Nice! Thanks for great feedback here Will try the `next` branch
  - 1
  - 2019-02-12
  - asbjornenge