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

[Mark Anthony BROWN]

Fergus Henderson writes:
> The major drawback of this change is that it might break
> some user's programs.  Comments?

If you do make this change, it would be worth mentioning (e.g. in NEWS)
that some user programs may break, and that the previous behaviour can
be retained by having the limit set in the MERCURY_OPTIONS environment
variable whenever the compiled program is run.

Cheers,
Mark.

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