[m-rev.] for review: dependent AND parallelism via inline C code

Peter Wang novalazy at gmail.com
Mon Nov 3 17:32:58 AEDT 2008

On 2008-11-03, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> On 03-Nov-2008, Peter Wang <novalazy at gmail.com> wrote:
> > > > To prevent intermodule inlining `may_not_duplicate' should be added.
> > > > Similarly for the following.
> > > 
> > > I have done that, but what would be the problem with intermodule inlining?
> > 
> > No problem except that the behaviour of --intermodule-optimisation
> > --no-inline-par-builtins might be a bit surprising.
> Why? Because it won't find the listing of these predicates in the list of
> no-type-info builtins, or for some other reason? If the latter, what reason?

If --intermodule-optimisation pulls in the C code from par_builtin and
inlines par_builtin procedures into call sites, that would contradict
--no-inline-par-builtins, wouldn't it?


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