PT-156466783 namespaces #516

Merged
zxq9 merged 18 commits from PT-156466783-namespaces into master 2019-02-13 23:54:07 +09:00
zxq9 commented 2019-02-08 22:22:56 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

Pivotal: PT-156466783
Protocol: https://github.com/aeternity/protocol/pull/306

You can now do things like

namespace MyLib =
  function myfun(x) = x + 1

contract MyContract =
  function foo(x) = MyLib.myfun(x - 1)

This also includes a massive overhaul of the type checker, which fixes among other things type declarations not being checked properly.

*Created by: UlfNorell* Pivotal: [PT-156466783](https://www.pivotaltracker.com/story/show/156466783) Protocol: https://github.com/aeternity/protocol/pull/306 You can now do things like ``` namespace MyLib = function myfun(x) = x + 1 contract MyContract = function foo(x) = MyLib.myfun(x - 1) ``` This also includes a massive overhaul of the type checker, which fixes among other things type declarations not being checked properly.
zxq9 commented 2019-02-08 23:00:35 +09:00 (Migrated from gitlab.com)

Created by: happi

Review: Approved

*Created by: happi* **Review:** Approved
zxq9 commented 2019-02-08 23:27:04 +09:00 (Migrated from gitlab.com)

Created by: nikita-fuchs

Whenever adding/changing something regarding types, could @rvirding please be notified so it can be considered for the ACI generator? Cool feature !

*Created by: nikita-fuchs* Whenever adding/changing something regarding types, could @rvirding please be notified so it can be considered for the ACI generator? Cool feature !
zxq9 commented 2019-02-09 05:34:34 +09:00 (Migrated from gitlab.com)

Created by: hanssv

Review: Approved

*Created by: hanssv* **Review:** Approved
zxq9 commented 2019-02-13 23:54:07 +09:00 (Migrated from gitlab.com)

Merged by: rvirding at 2019-02-13 14:54:07 UTC

*Merged by: rvirding at 2019-02-13 14:54:07 UTC*
Sign in to join this conversation.
No description provided.