Re: Partially instantiated template as argument to alias parameter.

2015-11-04 Thread Yuxuan Shui via Digitalmars-d
On Wednesday, 4 November 2015 at 23:10:09 UTC, Vladimir Panteleev wrote: On Wednesday, 4 November 2015 at 23:07:42 UTC, Yuxuan Shui wrote: I think this is a reasonable use case: auto A(R, S)(R a,S b) {return a+b;} auto B(alias f)(){return f(1, 1.0);} void main{writeln(B!(A!int)());} Current

Re: Partially instantiated template as argument to alias parameter.

2015-11-04 Thread Vladimir Panteleev via Digitalmars-d
On Wednesday, 4 November 2015 at 23:07:42 UTC, Yuxuan Shui wrote: I think this is a reasonable use case: auto A(R, S)(R a,S b) {return a+b;} auto B(alias f)(){return f(1, 1.0);} void main{writeln(B!(A!int)());} Currently this is doable by moving the parameters that are to be explicitly inst

Partially instantiated template as argument to alias parameter.

2015-11-04 Thread Yuxuan Shui via Digitalmars-d
I think this is a reasonable use case: auto A(R, S)(R a,S b) {return a+b;} auto B(alias f)(){return f(1, 1.0);} void main{writeln(B!(A!int)());}

Re: Partially instantiated template as argument to alias parameter.

2015-11-04 Thread Yuxuan Shui via Digitalmars-d
On Wednesday, 4 November 2015 at 23:07:42 UTC, Yuxuan Shui wrote: I think this is a reasonable use case: auto A(R, S)(R a,S b) {return a+b;} auto B(alias f)(){return f(1, 1.0);} void main{writeln(B!(A!int)());} For now I have to explicitly write A like this: template A(R){auto A(S)(R a, S b