[m-rev.] for post-commit review: local foreign_decl's

[Fergus Henderson]

On 21-Jun-2004, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 19-Jun-2004, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > > + at example
> > > +:- pragma foreign_decl("@var{Lang}", local, @var{DeclCode}).
> > > + at end example
> > 
> > I have a few questions:
> > 
> > - Does this declaration imply that any code which makes use of the
> > foreign_decl cannot be cross-module inlined?
> 
> Yes.
> 
> > If yes:
> > - Since the compiler can't easily tell when foreign code makes use of
> > a foreign decl, does that mean that this declaration entirely prevents
> > cross-module inlining of any foreign code from the module which contains it?
> 
> At the moment, it is the programmer's job to mark the predicates involved
> with the no_inline pragma.

That was not at all clear from the reference manual.  If that is the
intent, I think it is worth clarifying the reference manual.

-- 
Fergus Henderson                    |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------