Re: Why is this?

[rikki cattermole via Digitalmars-d]

On 06/09/2016 6:42 PM, rikki cattermole wrote:
On 06/09/2016 6:23 PM, Manu via Digitalmars-d wrote:
On 6 September 2016 at 16:10, rikki cattermole via Digitalmars-d
<digitalmars-d@puremagic.com> wrote:
On 06/09/2016 6:07 PM, Manu via Digitalmars-d wrote:

I have weird thing:

template E(F){
    enum E {
        K = F(1)
    }
}

struct S(F = float, alias e_ = E!double.K) {}

typeof(E!double.K)

== double ?? Not sure what you're saying.

Basically your code only it is using typeof to get the type after all K
is a value and alias is for types.

template E(F){
    enum E {
        K = F(1)
    }
}

struct S(F = float, alias e_ = typeof(E!double.K)) {
    pragma(msg, e_); // E
    pragma(msg, E!double.K); // 1.0
    pragma(msg, typeof({return E!double.K;}())); // E
}

S!float x;

But yes little weird.

*sigh* I'm not thinking right that alias is template argument alias not 
alias of types.

template E(F){
    enum E {
        K = F(1)
    }
}

struct S(F = float, V=E!double, V e_ = V.K) {
    pragma(msg, e_); // E
    pragma(msg, E!double.K); // 1.0
    pragma(msg, typeof({return E!double.K;}())); // E
}

S!float x;