[m-dev.] for review: --no-const-ground-terms

[Fergus Henderson]

For structure reuse, what should ideally be done is
	(1) compile known-at-compile-time ground terms into static consts
	    iff they will not be reused
	(2) try to reuse terms which are not known at compile time in
	    preference to reusing terms which are known at compile time.

Turning off static ground term optimization entirely is going to hurt
a lot; doing (1) should gain you back most of the benefits.

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