<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2013/6/26 Walter Bright <span dir="ltr"><<a href="mailto:newshound2@digitalmars.com" target="_blank">newshound2@digitalmars.com</a>></span><br><blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div class=""><div class="h5">On 6/25/2013 2:33 PM, Andrej Mitrovic wrote:<br>
<blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
On Tuesday, 25 June 2013 at 21:31:15 UTC, Walter Bright wrote:<br>
<blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<a href="http://wiki.dlang.org/DIP42" target="_blank">http://wiki.dlang.org/DIP42</a><br>
</blockquote>
<br>
I suppose the alias version will work too? IOW:<br>
<br>
alias Select(size_t idx, T...) = T[idx];<br>
<br>
static assert(is(Select!(0, int, float) == int));<br>
static assert(is(Select!(1, int, float) == float));<br>
</blockquote>
<br></div></div>
That's something separate.<br>
</blockquote></div><br></div><div class="gmail_extra"><div class="gmail_quote">I don't think so. DIP42 should consider alias version, from the grammatical view.</div><div class="gmail_quote"><br></div><div class="gmail_quote">
enum basically takes an expression,</div><div class="gmail_quote"><br></div><div class="gmail_quote">  enum E(T) = expression;</div><div class="gmail_quote"><br></div><div class="gmail_quote">But alias should take a type grammatically.</div>
<div class="gmail_quote"><br></div><div class="gmail_quote">  alias A(T) = type;</div><div class="gmail_quote"><br></div><div class="gmail_quote"><br></div><div class="gmail_quote">And one more question: How template constraint will be written?</div>
<div class="gmail_quote"><br></div><div class="gmail_quote">  enum E(T) if (isSomething!T) = expression;   // is this supposed?</div><div class="gmail_quote"><br></div><div class="gmail_quote">Kenji Hara</div></div></div>