[m-dev.] for review: direct reuse

[Ralph Becket]

>From Fergus Henderson on 21/09/2000 07:18:03
> On 20-Sep-2000, Peter Ross <Peter.Ross at cs.kuleuven.ac.be> wrote:
> > +		%
> > +		% Currently structure reuse will only reuse a cell that
> > +		% is using the same cons_id, so it is safe to just do an
> > +		% assignment.
> > +		%
> > +		ml_gen_unification(assign(Var, ReuseVar), model_det,
Context,
> > +				MLDS_Decls, MLDS_StatementsA),
> 
> That is a somewhat fragile assumption.  I think it would be a very
> good idea to document that the MLDS back-end relies on this assumption
> in the definition of the reuse_cell/1 constructor in hlds_goal.m.
> 
Moreover, I presume this is just a temporary measure to get something
up and working?  Eventually it would be good if reuse applied to either
(a) any cell of the same size or, preferably, (b) any cell of sufficient
size [modulo some sensible heuristic to avoid excessive waste].

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

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