[m-rev.] for review: new required_feature_set feature

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Jan 29 13:41:03 AEDT 2008


On Tue, 29 Jan 2008, Peter Wang wrote:

>>  Index: doc/reference_manual.texi
>>  ===================================================================
>>  RCS file:
>>  /home/mercury/mercury1/repository/mercury/doc/reference_manual.texi,v
>>  retrieving revision 1.418
>>  diff -u -r1.418 reference_manual.texi
>>  --- doc/reference_manual.texi	24 Jan 2008 04:29:36 -0000	1.418
>>  +++ doc/reference_manual.texi	24 Jan 2008 11:39:04 -0000
>>  @@ -10540,9 +10540,15 @@
>>   feature.
>>
>>   @item @samp{strict_sequential}
>>  -This feature specifes that a semantics that is equivalent to the strict
>>  +This feature specifies that a semantics that is equivalent to the strict
>>   sequential operational semantics must be used.
>>
>>  + at item @samp{conservative_gc}
>>  +This feature specifies that a module requires conservative garbage
>>  +collection.
>>  +This feature is only check when using the C backends, it is ignored
>>  +by the non-C backends. +
>
> only checked

Fixed.

> That sentence should be two.

Done.

> Maybe the description should also explain the implications of
> conservative GC such that you might want the check.  e.g. you can assume
> Mercury objects won't move, you can stash addresses in structures
> allocated with certain macros, etc.

I think that would better be done, and to some extent already is, in
the Memory management section of the reference manual.  I'm about
to move that section into the new foreign language interface section
and re-write and expand bits of it anyway.

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



More information about the reviews mailing list