¿Cómo puedo llamar a un contrato con un parámetro de tipo?

- 3
- 155 2019-02-11
Tengoel siguiente contrato:

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 };

¿Cómopuedo llamar aeste contrato con untipo doc comoparámetro?Todos losejemplos queencuentro usan una sola cadena oint comoparámetro.

Lo heintentado:

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

Pero supongo que asíes como la liquidezexpresa losparámetros.
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 respuestas

votos

- 4
- 2019-02-11
Según la especificación de Michelson ,debe utilizar la convención de llamada correcta.Debe utilizar lo siguiente:

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

Otra obeservación: ¿por qué ha repetido SWAP?Estoefectivamente devuelve lapila a cómoestaba.
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.
- ¡Gracias unmontón!El código de Micelsonfuetranspilado de ReasonML -> Liquidez -> Michelson,quizásno óptimo.Necesitoprofundizaren laespecificación de Michelson,yme aseguraré deinvestigarpor quéel código agregaese SWAP repetido ¡Graciasnuevamente!
  
  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 usa la next rama de Liquidez,puede usar:

liquidity CONTRACT.liq --call-arg main '{ name = "test"; sig = "abcd" }'paraimprimirel argumento que utilizará tezos-client (donde maineselpunto deentrada que desea)

liquidity --re CONTRACT.liqpara compilar directamente un archivoen la sintaxis ReasonML (agregueel argumento --reen el comando anteriortambién)

(el doble SWAPes un códigogenerado sub optimizado,agregaremos unpase de optimizaciónen el código de Michelsonen una versiónposterior)
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)
- ¡Agradable!Graciaspor susexcelentes comentarios aquí. Probaré la siguiente rama
  
  Nice! Thanks for great feedback here Will try the `next` branch
  - 1
  - 2019-02-12
  - asbjornenge