[mercury-users] MCORBA

[David Glen JEFFERY]

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.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------