[m-dev.] for review: direct reuse

[Fergus Henderson]

On 21-Sep-2000, Peter Ross <peter.ross at miscrit.be> wrote:
> On Thu, Sep 21, 2000 at 11:42:01AM +1100, Fergus Henderson wrote:
> > 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.
> > 
> At the moment I am just trying to get it all working.  This restriction
> will definately be removed real soon now.

OK, but things like that are what "XXX" comments are for...

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- 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
--------------------------------------------------------------------------