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

[Tyson Dowd]

On 21-Nov-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 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'.

Sorry, fixed.

Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.225
retrieving revision 1.226
diff -u -r1.225 -r1.226
--- reference_manual.texi	20 Nov 2001 13:54:00 -0000	1.225
+++ reference_manual.texi	22 Nov 2001 02:07:20 -0000	1.226
@@ -4835,7 +4835,7 @@
 @c If they are actually pure or semipure, they must be explicitly
 @c promised as such by the user (either by using foreign language
 @c attributes specified below, or a promise_pure or promise_semipure pragma
- at c as specified in the @ref{Impurity}.
+ at c as specified in @ref{Impurity}.
 
 Additional restrictions on the foreign language interface code
 depend on the foreign language and compilation options.
@@ -4909,7 +4909,7 @@
 This attribute promises that the purity of the given predicate or
 function definition is pure or semipure.
 It is equivalent to a corresponding @samp{pragma promise_pure}
-or at samp{pragma promise_semipure} declaration (@pxref{Impurity}).
+or @samp{pragma promise_semipure} declaration (@pxref{Impurity}).
 If omitted, the default purity will be used instead (pure, but this is
 expected to change to impure).
 @c If omitted, the clause specified by the @samp{foreign_proc} is

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------