[m-rev.] for review: breaking the .debug -> .tr implication

[Julien Fischer]

On Thu, 4 Jun 2009, Zoltan Somogyi wrote:

> compiler/handle_options.m:
> scripts/final_grade_options.sh-subr.m:
> 	Remove the implication from .debug to .tr. This implication is no
> 	longer appropriate, since we now have both .tr and .trseg versions
> 	of trailing, and .trseg is the more useful one. However, since .tr
> 	is still used, replacing the implication with one from .debug to
> 	.trseg is not appropriate either.

Arguably, .tr is now useless except as a way of benchmarking the
overhead of the trail segments mechanism.

> 	Removing the implication yields an executable size reduction of 6.8%,
> 	and speedup of 10%.

That's fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------