Re: Updated DIP22 - Private symbol visibility

[Timon Gehr]

On 12/22/2013 08:48 PM, Martin Nowak wrote:

On 12/22/2013 12:05 AM, Timon Gehr wrote:

How is this going to work?

Ah sorry, I misread your example.
The call template function is in module a, so it has access too.

 > Are you arguing for creating multiple instances of 'call'?

So this is indeed not necessary, the function is called within the
template, so only the template scope determines whether a function is
accessible.

Therefore none of the following two calls will work?

module a;
import b;

auto call(alias a){ a(0); }

void x(){
    call!foo();
}

module b;
import a;

private auto foo(int x){ }
auto foo(double x){ }

void y(){
    call!foo();
}