On Thu, Jan 14, 2010 at 10:08 PM, me22 <span dir="ltr"><<a href="http://me22.ca">me22.ca</a>@<a href="http://gmail.com">gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

2010/1/15 Talin <<a href="mailto:viridia@gmail.com">viridia@gmail.com</a>>:<br>
<div class="im">> On Thu, Jan 14, 2010 at 9:25 PM, me22 <<a href="http://me22.ca" target="_blank">me22.ca</a>@<a href="http://gmail.com" target="_blank">gmail.com</a>> wrote:<br>
>><br>
</div><div class="im">>>    @foo = constant union { float, i32 } insertvalue union { i32,<br>
>> float } undef, i32 4, 0<br>
>>    @bar = constant union { i32, float } insertvalue union { float,<br>
>> i32 } undef, i32 4, 1<br>
>><br>
><br>
> Well, the fact that union members have to be indexed by number means that<br>
</div>> the ordering has to be part of the type.<br>
><br>
<br>
Does that mean that my example above is ill-formed, since the<br>
insertvalue gives a different type than the constant wants?<br>
</blockquote></div><br>Yes.<br clear="all"><br>-- <br>-- Talin<br>