[m-dev.] for review: change default stack size

[Fergus Henderson]

On 14-Dec-2000, Robert Jeschofnik <rejj at students.cs.mu.oz.au> wrote:
> 
> Should perhaps the size of the nondet stack also be looked into? Is it also
> much larger than is typically used?

Well, the default nondet stack size is only 128k -- much smaller than
the default det stack size.  It is probably much larger than is typically
used in relative terms, but in absolute terms the difference is at most
128k, which is peanuts in comparison to the 4M for the det stack.

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