[m-dev.] poor code generation for field accesses

[Fergus Henderson]

On 04-Jun-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> fjh wrote:
> > \+ (
> > V_24 <= intersection(IgnoreId, _, _, _, _), % construction
> > V_40 <= snd(Intersection),     % function call
> > V_24 = V_40                                 % unification
> > )
> >
> > This is bad, because the initial unification with V_24 is a
> > construction, which allocates memory.
>
> How can we construct V_24 without providing values for all the other
> fields in intersection?  It doesn't look mode correct to me.

It is.  It uses partially instantiated modes.  This is part of the subset
of partially-instantiated modes that currently works.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------