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

[Tyson Dowd]

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.

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