QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

.

Browse Source
This commit is contained in:
radrow 2022-07-03 19:13:02 +02:00
parent 5575d3cb17
commit 89afa9ec8f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aeso_ast_to_fcode.erl
View File

@ -654,7 +654,7 @@ expr_to_fcode(Env, _Type, {list, _, Es}) ->
nil, Es); nil, Es);
expr_to_fcode(Env, _Type, {app, _, {'..', _}, [A, B]}) -> expr_to_fcode(Env, _Type, {app, _, {'..', _}, [A, B]}) ->
AV = fresh_name(), % var to keep B AV = fresh_name(), % var to keep B
WithA = fun(X) -> {'let', AV, expr_to_fcode(Env, B), X} end, WithA = fun(X) -> {'let', AV, expr_to_fcode(Env, A), X} end,
St = fresh_name(), % loop state St = fresh_name(), % loop state
ItProj = {proj, {var, St}, 1}, ItProj = {proj, {var, St}, 1},
AcProj = {proj, {var, St}, 0}, AcProj = {proj, {var, St}, 0},