search

OCamlPro / ocaml-solidity

Ocaml-solidity provides a Solidity parser and typechecker
https://ocamlpro.github.io/ocaml-solidity
Other
32 stars 10 forks source link

Add freeton-solidity requirements and other utilities #27

Closed hra687261 closed 2 years ago

lefessan commented 2 years ago

What is the SetOfArgs part used for ?

hra687261 commented 2 years ago

It's used to hold the set of arguments of the "call" argument in the buildExtMsg primitive which looks something like: call: {functionIdentifier [, list of function arguments]}. Previously the arguments were parsed as an ImmediateArray which caused a typing error because the elements of the array are expected to be of the same type. Now they are parsed as a SetOfArgs which acts like a tuple. In fact I can replace it with a tuple but I wanted to distinguish between the two when they are printed.

lefessan commented 2 years ago

Are you using ocp-indent ? It looks like some of the changes are indentation only...

hra687261 commented 2 years ago

Yes I use ocp-indent. I think some files are not well indented but I will set them back as they were for now.