[m-dev.] for review: change MercuryFile structure

[Fergus Henderson]

On 09-Aug-2000, Peter Ross <peter.ross at miscrit.be> wrote:
> On Tue, Aug 08, 2000 at 10:58:01PM +1000, Fergus Henderson wrote:
> > Hmm, that's nearly a factor of three slowdown overall,
> > and nearly a factor of ten slowdown in user time.
> > I think that is a too much to have this change enabled by default,
> > at least in the absence of a compelling compensatory feature.
>
> OK. Is it fine to check this change in?
> I will add the flag
> 
> --enable-new-mercuryfile-structure
> 
> to the configure script to turn this feature on and revise the code for
> logged_output.m to mention that you need to have a version of the
> compiler with built with the above option supplied to configure.

That sounds good, but I would like the review the final diff before
you commit.

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