New aci generator #522

Merged
rvirding merged 9 commits from new-aci-generator into master 2019-03-01 02:42:00 +09:00
rvirding commented 2019-02-27 21:37:06 +09:00 (Migrated from gitlab.com)

Add an ACI generator to the compiler.

Add an ACI generator to the compiler.
zxq9 commented 2019-02-27 23:30:43 +09:00 (Migrated from gitlab.com)

Created by: hanssv

The parse errors looks out of date...

*Created by: hanssv* The parse errors looks out of date...
zxq9 commented 2019-03-01 01:45:23 +09:00 (Migrated from gitlab.com)

Created by: hanssv

Review: Approved

*Created by: hanssv* **Review:** Approved
zxq9 commented 2019-03-01 02:08:24 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

This won't work if you are using types from other namespaces/contracts. For instance

contract OtherContract =
  datatype some_type = This | That
  function stuff : some_type => int

contract MyContract =
  function do_the_stuff(r : OtherContract, x : OtherContract.some_type) =
    r.stuff(x)

but I guess that's not really in scope for this PR.

*Created by: UlfNorell* This won't work if you are using types from other namespaces/contracts. For instance ``` contract OtherContract = datatype some_type = This | That function stuff : some_type => int contract MyContract = function do_the_stuff(r : OtherContract, x : OtherContract.some_type) = r.stuff(x) ``` but I guess that's not really in scope for this PR.
zxq9 commented 2019-03-01 02:08:32 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

Review: Approved

*Created by: UlfNorell* **Review:** Approved
zxq9 commented 2019-03-01 02:42:00 +09:00 (Migrated from gitlab.com)

Merged by: rvirding at 2019-02-28 17:42:00 UTC

*Merged by: rvirding at 2019-02-28 17:42:00 UTC*
Sign in to join this conversation.
No description provided.