Add support for protected contract calls #732

2020-03-02T18:49:12+09:00

zxq9 commented

(Migrated from gitlab.com)

Created by: UlfNorell

*Created by: UlfNorell* - Issue: aeternity/aesophia#203 - aeternity/aebytecode#93 - aeternity/aeternity#3162 - aeternity/protocol#467

zxq9 commented

(Migrated from gitlab.com)

Created by: hanssv

I knew it was only a matter of time - dependent types here we go :-)

*Created by: hanssv* I knew it was only a matter of time - dependent types here we go :-)

zxq9 commented

(Migrated from gitlab.com)

Created by: hanssv

Review: Approved

*Created by: hanssv* **Review:** Approved

zxq9 commented

(Migrated from gitlab.com)

Created by: radrow

Why doesn't {if_t, {bool, _, true}, T, _} unify with T?

*Created by: radrow* Why doesn't `{if_t, {bool, _, true}, T, _}` unify with `T`?

zxq9 commented

(Migrated from gitlab.com)

Created by: UlfNorell

The argument to if_t is always an id(). As soon as we know the value the if_t goes away.

*Created by: UlfNorell* The argument to `if_t` is always an `id()`. As soon as we know the value the `if_t` goes away.

zxq9 commented

(Migrated from gitlab.com)

Created by: radrow

Review: Approved

*Created by: radrow* **Review:** Approved

zxq9 commented

(Migrated from gitlab.com)

Merged by: UlfNorell at 2020-03-02 15:15:06 UTC

*Merged by: UlfNorell at 2020-03-02 15:15:06 UTC*

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#732