Comment puis-je appeler un contrat avec un paramètre de type?

- 3
- 155 2019-02-11
J'ai le contrat suivant:

Paramètre (paire: Doc (String% Nom) (String% SIG)); Stockage (liste (Paire: Doc (String% Name) (String% SIG))); code {DUP; DIP {CDR @ STOCKAGE_SLASH_1}; Voiture @paramètre_slash_2; ÉCHANGER ; ÉCHANGER ; LES INCONVÉNIENTS ; Opérationnulle; PAIRE };

Commentpuis-je appeler ce contrat avec untype type commeparamètre?Tout l'exemple queje trouve utiliser une seule chaîne ouint commeparamètre.

J'aiessayé:

Tezos-Client Transfert 0 de Yolo à Docs --Arg '{Name="Test";sig="abcd"} '

Maisje suppose que c'est ainsi que la liquiditéexprime desparamètres?
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 réponses

votes

- 4
- 2019-02-11
Selon le Michelson Spec Vous devez utiliser labonne convention d'appel.Vous devez utiliser ce qui suit:

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

Un autre obésservation - Pourquoi avez-vous un échange répété?Cela renvoieefficacement lapile à lafaçon dont c'était.
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.
- Merci untas!Le code de Micelson a ététranspilé àpartir de ReasonML -> Liquidity -> Michelson,peut-êtrepas optimal.Je dois creuser dans la spécification Michelsonet je serai sûr de regarderpourquoi le code ajoute ce swap répétémerciencore!
  
  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
Si vous utilisez labranche suivante de liquidité,vouspouvez utiliser:

liquidités contractor.liq --Call-argprincipal '{nom="test";SIG="ABCD"} ' Pourimprimer l'argument à utiliserpar Tezos-Client (où Main est lepoint d'entrée que vous voulez)

liquidités -re contractuel.liq Pour compiler directement unfichier dans la syntaxe de ReasonML (ajoutez le - re argument dans la commandeprécédente également)

(le double Swap est un codegénéré sous-optimisé,nous ajouterons unepasse d'optimisation sur le code Michelson dans une version ultérieure)
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)
- Joli!Mercipour de superbes commentairesici vaessayer labranche «suivante»
  
  Nice! Thanks for great feedback here Will try the `next` branch
  - 1
  - 2019-02-12
  - asbjornenge