[m-rev.] for review: library grade set filters

Zoltan Somogyi zs at csse.unimelb.edu.au
Thu Nov 8 15:09:51 AEDT 2007

On 06-Nov-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> I've posted a separate diff dealing with this (except the part about
> reducing memory consumption - do you have any figures showing that is
> indeed the case?)

None are needed. The default stack size in nont-stseg grades is purposefully
very big. Most runs will need significantly less, and with stseg grades,
you will therefore allocate less.

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

More information about the reviews mailing list