[m-rev.] pragma no_export

[Peter Wang]

In exception.m there is:

    % NOTE: since there is no guarantee that modules that opt import these                   
    % predicates will be compiled with `--no-reorder-disj' we need to make                   
    % sure they are not inlined in other modules.                                            

    :- pragma no_inline(get_determinism/2).

It turns out, however, that intermod.opt copies get_determinism into the
.opt file anyway because it has a higher-order argument and so satisfies
a different condition.  Is this a bug?

Do we need a :- pragma no_export, which would allow inlining within the
module but prevent opt-exports?  This could be useful, too, for
foreign_procs where I have been using `may_not_duplicate' instead.

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