[m-dev.] Improvements to the IL backend

[Eric Taucher]

> -----Original Message-----
> From: owner-mercury-developers at csse.unimelb.edu.au [mailto:owner-mercury-
> developers at csse.unimelb.edu.au] On Behalf Of Peter Ross
> Sent: Monday, June 18, 2007 1:57 AM
> To: mercury-developers at csse.unimelb.edu.au
> Subject: Re: [m-dev.] Improvements to the IL backend
> 
> On 6/18/07, Jonathan Morgan <jonmmorgan at gmail.com> wrote:
> > On 6/18/07, Peter Ross <pro at missioncriticalit.com> wrote:
> > > Having read the slides
> > >
> > > http://uvigo.tv/VODpublic/ASX/lisboa/Ser_Lid.pdf
> > >
> > > it appears that .NET now supports .typedef and type-forwarding which
> > > means that equivalence types would no longer have to be fully expanded
> > > out by Mercury.  This would also simplify our .int files as they
> > > should no longer require the equivalence types in the interface
> > > section.
> >
> > While an interesting development, this appears to require (at least)
> > .NET 2.0.  Since we don't yet have .NET 2.0 support, we can't do this
> > yet.  Do any of the other backends require the expansion of
> > equivalence types?
> >
> Yes it certainly is something for the future.  I don't think any other
> backends require the information, maybe the java backend?

FYI: Regarding circular dependencies with MS IL and using ASMMETA. Per Serge
Lidin's book "Expert .NET 2.0 IL Assembler" the ASMMETA tool is an internal
Microsoft tool. He suggests that it is simple enough to roll your own.

> --------------------------------------------------------------------------
> mercury-developers mailing list
> Post messages to:       mercury-developers at csse.unimelb.edu.au
> Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
> Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
> --------------------------------------------------------------------------

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------