[mercury-users] MCORBA

[Fergus Henderson]

On 17-Jun-1999, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> On 15-Jun-1999, Luke Evans <Luke.Evans at seagatesoftware.com> wrote:
> > Ah.  Well I definitely WILL need both structs and typedefs.  We also use
> > unions which I guess remain unimplemented at this time.
> 
> At this stage, yes. Once we work out a nice scheme for unions, it shouldn't
> take too long to implement. There is one obvious translation into
> Mercury's discriminated unions, but the problem with this solution is that 
> CORBA's IDL allows (as far as I can tell) arbitrary types to be switched on, 
> not just enumerations.
> 
> If anyone has ideas about that one, I'd be happy to hear them.

How often is this IDL feature used?

The obvious thing to do is to support unions in the natural way in
the easy cases, and for hard cases, either don't support them at all,
or map them to Mercury discriminated unions where the alternatives
are just labelled `case1', `case2', ...

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------