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

Implement loading namespaces with the using keyword #829

Merged
ghallak merged 23 commits from ghallak/233 into master 2021-09-07 23:45:28 +09:00
Conversation 14 Commits 23 Files Changed 13 +2 -12
1 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 5725307643 - Show all commits

14
src/aeso_ast_infer_types.erl
View File

@ -340,19 +340,9 @@ visible_in_used_namespaces(UsedNamespaces, QName) ->
IsVisible = fun(Namespace) -> IsVisible = fun(Namespace) ->
case Namespace of case Namespace of
{_, _, {for, Names}} -> {_, _, {for, Names}} ->
case lists:member(Name, Names) of lists:member(Name, Names);
true ->
true;
false ->
false
end;
{_, _, {hiding, Names}} -> {_, _, {hiding, Names}} ->
case lists:member(Name, Names) of not lists:member(Name, Names);
true ->
false;
false ->
true
end;
_ -> _ ->
true true
end end