Restructure and improve ACI #566

Merged
zxq9 merged 11 commits from fix_aci into master 2019-05-31 18:33:08 +09:00

11 Commits

Author SHA1 Message Date
Hans Svensson
d3a13eafed A record should be _one_ object 2019-05-28 14:25:37 +02:00
Hans Svensson
ec678878fa Update aeso_aci.md 2019-05-28 13:26:22 +02:00
Hans Svensson
4b0837dc59 Leave state/event blank if not present 2019-05-28 13:07:24 +02:00
Hans Svensson
0ded431df8 Fix interface and use atoms instead of binaries 2019-05-28 11:18:21 +02:00
Hans Svensson
e7419b79fd Put state and event types at the top level 2019-05-28 11:08:36 +02:00
Hans Svensson
c60999edf0 Refactor aeso_aci with dont_unfold, etc. 2019-05-28 11:08:36 +02:00
Hans Svensson
ea17dae93e Silence compiler warning 2019-05-28 11:08:36 +02:00
Hans Svensson
8a16bd4fa1 Add dont_unfold option to type inference function 2019-05-28 11:08:36 +02:00
Hans Svensson
1ed40f1cca Pretty print state variables 'a instead of '1 2019-05-28 11:08:36 +02:00
Hans Svensson
5c98317a5a Make 'indexed' keyword optional 2019-05-28 11:08:36 +02:00
Hans Svensson
33dbeeefad Consider namespaces when collecting used_types 2019-05-28 11:08:36 +02:00