[m-dev.] Improvements to the IL backend

Peter Ross pro at missioncriticalit.com
Mon Jun 18 15:57:08 AEST 2007

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?
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

More information about the developers mailing list