Further Refine AST

Question

Further Refine AST

d-xo opened this issue 4 years ago · comments

dxo commented 4 years ago

The following changes to the AST would proabaly be nice:

Add a Contract type that bundles all constructors / methods / invariants / storage declarations for a particular contract. It would be nice if this had some constraints on the constructors (e.g. only one passing constructor).
Add a System type that is a collection of related contracts. In the future this could perhaps contain system level invariants

MrChico commented 4 years ago

for act

MrChico · Answer 1 · Wed Dec 16 2020 06:08:22 GMT+0800 (China Standard Time)

This opens some questions about modules and imports that I think requires a bit of thought

dxo · Answer 2 · Thu Dec 17 2020 05:27:32 GMT+0800 (China Standard Time)

modules and imports at the haskell level or for the act language itself?

dxo · Answer 3 · Thu Dec 17 2020 06:52:53 GMT+0800 (China Standard Time)

ah, yes that is quite of an interesting rabbit hole...

dxo · Answer 4 · Thu Dec 17 2020 06:56:04 GMT+0800 (China Standard Time)

Did you have some ideas in this area?

I've been having some vague thoughts around being able to export only invariants, and pre/post conditions from contracts for use in proving system level properties.