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

Introduce debugging symbols #915

Merged
ghallak merged 92 commits from ghallak/ann-fate-ops into master 2023-06-13 20:36:48 +09:00
Conversation 55 Commits 92 Files Changed 9 +2 -3
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit ee4c0eee34 - Show all commits

5
src/aeso_ast_to_fcode.erl
View File

@ -58,7 +58,7 @@
| {contract_code, string()} %% for CREATE, by name
| {typerep, ftype()}.
-type fann() :: [ {file, aeso_syntax:ann_file()} | {line, aeso_syntax:ann_line()} | {col, aeso_syntax:ann_col()} ].
-type fann() :: [ {file, aeso_syntax:ann_file()} | {line, aeso_syntax:ann_line()} ].
-type fexpr() :: {lit, fann(), flit()}
| {nil, fann()}
@ -391,8 +391,7 @@ to_fcode(Env, [{namespace, _, {con, _, Con}, Decls} | Code]) ->
to_fann(Ann) ->
File = proplists:lookup_all(file, Ann),
Line = proplists:lookup_all(line, Ann),
Col = proplists:lookup_all(col, Ann),
lists:flatten([File, Line, Col]).
lists:flatten([File, Line]).
-spec get_fann(fexpr()) -> fann().
get_fann(FExpr) -> element(2, FExpr).