[m-rev.] for review: suppress unused arg warnings for loop-inv procedures

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Jul 25 11:55:17 AEST 2012


On Wed, 25 Jul 2012, Peter Wang wrote:

> On Tue, 24 Jul 2012 18:20:20 +1000 (EST), Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
>>
>> That looks fine, although shouldn't we be suppressing the warning for
>> all compiler introduced predicates anyway?
>
> Committed.
>
> You mean we ought to, or we should already be doing so?

We ought to, there's no point in reporting warnings for things the
user cannot fix.  I don't know whether we are already doing so.

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



More information about the reviews mailing list