Fixed letrec and letfun env management in infer_block #549

2019-04-19T23:32:39+09:00

zxq9 commented

2019-04-19 23:32:39 +09:00

(Migrated from gitlab.com)

Created by: radrow

The env was not updated while processing a block. This was causing following correct code not being accepted by the typechecker:

contract Test =
  function f() =
    let x() = 3
    x()

Error: Unbound variable x.

*Created by: radrow* The env was not updated while processing a block. This was causing following correct code not being accepted by the typechecker: ``` contract Test = function f() = let x() = 3 x() ``` Error: `Unbound variable x`.

zxq9 commented

2019-04-19 23:35:44 +09:00

(Migrated from gitlab.com)

Created by: UlfNorell

Review: Approved

*Created by: UlfNorell* **Review:** Approved

zxq9 commented

2019-04-19 23:40:30 +09:00

(Migrated from gitlab.com)

Created by: radrow

This do not completely fix the issue, it is only typechecker part. After that there are some errors in aeso_ast_to_icode.erl file that I couldn't handle

*Created by: radrow* This do not completely fix the issue, it is only typechecker part. After that there are some errors in `aeso_ast_to_icode.erl` file that I couldn't handle

zxq9 commented

2019-05-10 19:44:27 +09:00

(Migrated from gitlab.com)

Created by: UlfNorell

Superseded by #65.

*Created by: UlfNorell* Superseded by #65.

Pull request closed

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#549