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

Add function to decode VM values to Sophia abstract syntax #519

Merged
zxq9 merged 4 commits from decode-vm-to-sophia into master 2019-02-26 17:00:49 +09:00
Conversation 5 Commits 4 Files Changed 4 +2
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit f866e24624 - Show all commits

2
src/aeso_pretty.erl
View File

@ -307,6 +307,8 @@ expr_p(P, E = {app, _, F = {Op, _}, Args}) when is_atom(Op) ->
{prefix, [A]} -> prefix(P, Op, A);
_ -> app(P, F, Args)
end;
expr_p(_, {app, _, C={Tag, _, _}, []}) when Tag == con; Tag == qcon ->
expr_p(0, C);
expr_p(P, {app, _, F, Args}) ->
app(P, F, Args);
%% -- Constants