[m-rev.] for review: avoid spurious detism warnings with --intermod-opt

[Julien Fischer]

On Mon, 3 Dec 2007, Julien Fischer wrote:

> Estimated hours taken: 1
> Branches: main
>
> Fix an annoyance:  the compiler was emitting warnings for opt imported
> predicates that it had inferred were erroneous.  Suppress this behaviour
> since there is not much the writer of the importing module can do about it.
> (The writer could enable --no-warn-inferred-erroneous for the importing
> module but that may suppress warnings for which something useful could
> potentially be done.)
>
> Additionally the context attached to the spurious warning indicated that
> it was occurring inside a .int file, which is a potential source of confusion 
> in itself.
>
> compiler/det_report.m:
> 	Don't warn about opt imported predicates whose determinism is 
> inferred
> 	to be erroneous.
>
> tests/valid/Mercury.options:
> tests/valid/Mmakefile:
> tests/valid/opt_det_warn.m:
> tests/valid/opt_det_warn2.m:
> 	Test case for the above.

I've committed this as I need it to be available for testing G12 with
the dummy LP solver; I'll deal with any review comments separately.

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