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

Make dialyzer happy and keep it quiet

Browse Source
This commit is contained in:
Robert Virding 2019-02-26 16:25:23 +01:00
parent 6f582af83e
commit 7448da16bb
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/aeso_aci.erl
View File

@ -200,13 +200,14 @@ contract_funcs(#contract{decls=Decls}) ->
contract_types(#contract{decls=Decls}) -> contract_types(#contract{decls=Decls}) ->
[ D || D <- Decls, is_record(D, type_def) ]. [ D || D <- Decls, is_record(D, type_def) ].
namespace_name(#namespace{con=#con{name=N}}) -> N. %% To keep dialyzer happy and quiet.
%% namespace_name(#namespace{con=#con{name=N}}) -> N.
namespace_funcs(#namespace{decls=Decls}) -> %%
[ D || D <- Decls, is_record(D, letfun) ]. %% namespace_funcs(#namespace{decls=Decls}) ->
%% [ D || D <- Decls, is_record(D, letfun) ].
namespace_types(#namespace{decls=Decls}) -> %%
[ D || D <- Decls, is_record(D, type_def) ]. %% namespace_types(#namespace{decls=Decls}) ->
%% [ D || D <- Decls, is_record(D, type_def) ].
sort_decls(Ds) -> sort_decls(Ds) ->
Sort = fun (D1, D2) -> Sort = fun (D1, D2) ->