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

[Julien Fischer]

On Tue, 6 Nov 2007, Julien Fischer wrote:

>>>  Index: doc/user_guide.texi
>>>  ===================================================================
>>>  RCS file: /home/mercury/mercury1/repository/mercury/doc/user_guide.texi,v
>>>  retrieving revision 1.549
>>>  diff -u -r1.549 user_guide.texi
>>>  --- doc/user_guide.texi	25 Oct 2007 06:53:44 -0000	1.549
>>>  +++ doc/user_guide.texi	5 Nov 2007 06:16:27 -0000
>>>  @@ -7170,7 +7170,7 @@
>>>   @samp{spf} (the default is to use double-precision floats)
>>> 
>>>   @item Whether to allocate a new stack segment when the limit on the old 
>>> one
>>>  -is reached: @samp{stseg} (the default is not to allocate a new stack
>>>  segement)
>>>  +is reached: @samp{stseg} (the default is not to allocate a new stack
>>>  segment)
>> 
>> The description is correct but doesn't explain the reasoning.  I
>> suggest:
>> 
>>    @item Whether to use dynamically-sized stacks, composed of small 
>> segments:
>>    @samp{stseg} (the default is to use fixed-sized stacks)
>> 
>> with a paragraph to be added later to `LLDS back-end compilation model
>> options' explaining that it increases safety and (almost certainly)
>> reduces memory consumption, at the expense of speed.
>
> I'll deal with this separately; it's not really part of this change.

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

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