[m-rev.] for review: allow promise_pure and promise_semipure attributes

[Simon Taylor]

On 16-Nov-2001, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> On 15-Nov-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > On 14-Nov-2001, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> > >  depend on the foreign language and compilation options.
> > >  For more information, including the list of supported foreign languages and 
> > > @@ -4889,15 +4896,16 @@
> > >  
> > >  @table @asis
> > >  
> > > - at item @samp{may_call_mercury}/@samp{will_not_call_mercury}
> > > -This attribute declares whether or not execution inside this foreign
> > > -language code may call back into Mercury or not.  The default, in case
> > > -neither is specified, is @samp{may_call_mercury}.
> > > -Specifying @samp{will_not_call_mercury} may allow the compiler to
> > > -generate more efficient code.
> > > -If you specify @samp{will_not_call_mercury},
> > > -but the foreign language code @emph{does} invoke Mercury code, then the
> > > -behaviour is undefined.
> > 
> > Was this change intentional?
> 
> No, this was a cut with no paste error....
> I've put this back in.
> 
> I've made the other changes as requested, thanks.  I'll commit this
> soon.

You've committed this without posting a relative diff. 
There were at least a couple of errors in the reference manual
that weren't fixed properly.

+ at c attributes specified below, or a promise_pure or promise_semipure pragma
+ at c as specified in the @ref{Impurity}.

s/the @ref/@ref/

+It is equivalent to a corresponding @samp{pragma promise_pure}
+or at samp{pragma promise_semipure} declaration (@pxref{Impurity}).

There's still no space between `or' and `@samp'.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------