Re: RFC: IPDL discriminated union types

Chris Jones wrote:
>   union Foo {
>     int;
>     bool;
>     NPObject;
>     //...
>   }
> 
> (This syntax is intended to be faithful to C++.  What's really meant by 
> this is something closer to the ML |type Foo = Tint of int | Tbool of 
> bool; ...|.)
> 

Forgot to add ... unlike the ML |type|, IPDL unions will be 
non-recursive until a compelling use case arises to the contrary.

Cheers,
Chris