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

Check stateful annotations #560

Merged
zxq9 merged 8 commits from PT-162578475-stateful into master 2019-05-15 22:44:38 +09:00
Conversation 5 Commits 8 Files Changed 24 -3
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit d051fa6c89 - Show all commits

3
src/aeso_ast_infer_types.erl
View File

@ -960,9 +960,6 @@ check_state_dependencies(Env, Defs) ->
get_call_chains(Graph, Start, Stop) ->
get_call_chains(Graph, #{}, queue:from_list([{Start, [], []}]), Stop, []).
get_call_chains(_Graph, _Visit, [], _, Acc) -> lists:reverse(Acc);
get_call_chains(Graph, Visited, [{Stop, Path} | Queue], Stop, Acc) ->
get_call_chains(Graph, Visited, Queue, Stop, [lists:reverse(Path) | Acc]);
get_call_chains(Graph, Visited, Queue, Stop, Acc) ->
case queue:out(Queue) of
{empty, _} -> lists:reverse(Acc);