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

Zoltan Somogyi zs at csse.unimelb.edu.au
Mon Nov 3 17:07:27 AEDT 2008

On 03-Nov-2008, Peter Wang <novalazy at gmail.com> wrote:
> > Under what circumstances can it be passed to a procedure multiple times?
> > Superhomogeneous form requires the arguments of a call to be *distinct*
> > variables. Some optimizations such as excess assignment elimination may
> > replace distinct input arguments with multiple copies of the same variable,
> > but as far as I know this shouldn't happen for output arguments.
> I didn't think of that.

I will replace the code for duplicate signals with an abort, and see if
anything breaks.

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

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