[m-rev.] Patch to add --no-inform-inferred option

[Julien Fischer]

Hi Chris,

On Thu, 13 Oct 2011, Chris King wrote:

> Not sure if this is the right mailing list to submit this.

It is the right list: mercury-reviews is the intended place for
posting patches to the system (and discussion thereof).

> Type & mode inference messages often make it very difficult to find
> error messages.  Attached is a patch against 11.07 which adds an
> option to disable said messages.

In general, changes to the Mercury system should be made against
the trunk.

> Please let me know if there's anything I should change, or if this
> patch is a bad idea.

In principle, it's fine.  I think the level of control should be finer
grained, i.e. there should be two new options.

     --no-inform-inferred-types
     --no-inform-inferred-modes

with the --no-inform-inferred just implying both of the above.

Also, new options need to also be documented in doc/user_guide.texi.

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