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 +3 -3
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 3ef72e9091 - Show all commits

6
src/aeso_ast_to_fcode.erl
View File

@ -389,9 +389,9 @@ to_fcode(Env, [{namespace, _, {con, _, Con}, Decls} | Code]) ->
-spec to_fann(aeso_syntax:ann()) -> fann().
to_fann(Ann) ->
File = proplists:lookup_all(file, Ann),
Line = proplists:lookup_all(line, Ann),
lists:flatten([File, Line]).
File = proplists:lookup(file, Ann),
Line = proplists:lookup(line, Ann),
[ X || X <- [File, Line], X =/= none ].
-spec get_fann(fexpr()) -> fann().
get_fann(FExpr) -> element(2, FExpr).