0

Any known tool or website can translate the given online contract into ligo? For example, KT18fp5rcTW7mbWDmzFwjLDUhs5MeJmagDSZ, can I review the logic of this contract in ligo somewhere, however michelson would be too difficult for me to grasp it.

0

The compilation goes in the other direction: from Ligo (or another high-level language) to Michelson. Michelson is designed to be easier to read than other VM bytecodes but reading the source code is usually much easier.

In the case of the contract you mention (the FA2 from the Wrap protocol), a quick search pointed me to the following repo: https://github.com/bender-labs/wrap-tz-contracts/tree/master/ligo/fa2.

0

FYI, I'm writing an experimental translator from Michelson to OCaml (not ligo).

https://github.com/aigarashi/ocaml_of_michelson

The main caveat is that the generated OCaml code doesn't run -- It's just help human beings understand. :-)

6
  • Thank you very much, Atsushi. This is amazing. I tested the files in the test folders and randomly checked a few of them. However, for the specific contract I mentioned in the question, it ran into some error message. Sep 2 at 8:21
  • Thank you for trying!Hmm, I was able to generate some code from KT18fp5rcTW7mbWDmzFwjLDUhs5MeJmagDSZ (but the code doesn't pass the OCaml typechecker ;-). I'll take a look at the problem. Meanwhile, I'm happy to help you solve your problem. Sep 3 at 8:26
  • A bug has been fixed and the code generated from this contract now passes the OCaml typechecker. Sep 4 at 1:21
  • FYI, the generated code is available at: gist.github.com/aigarashi/c1601546dbf62d78011abaf863bb700c . Sep 6 at 2:45
  • Hello Atsushi, thanks for further improvement. I got back to this issue today and tried to recompile the latest version. It seems you modified readme by deleting installation details. Anyway, I didn't compile it successfully this time. However all after all, thanks for coming up with the code translation idea and making such solution. Sep 16 at 13:30

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.