[m-dev.] [reuse] diff: sr_choice stratergy

[Peter Ross]

On Tue, Oct 10, 2000 at 01:35:48AM -0700, Ralph Becket wrote:
> >From Peter Ross on 09/10/2000 17:49:44
> > +
> > +	% The constraint on the cells that we consider available for
> > +	% reuse.
> > +:- type constraint
> > +	--->	same_cons_id
> > +	.
> > 
> What's the rationale behind a policy with this constraint, rather than
> just the same (or larger) cell size?
> 
I plan to implement different constraints to see what effect that they
have on the generated code.

In future the type may look something like this

:- type constraint
	--->	same_cons_id
	;	same_size
	;	within_n_cell_sizes(int)
	;	same_type_and_size.

and I am sure that there will be others

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