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

[Chris King]

On Sun, Oct 16, 2011 at 10:31 AM, Julien Fischer
<juliensf at csse.unimelb.edu.au> wrote:
> In general, changes to the Mercury system should be made against
> the trunk.

Gotcha.

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

Done.  Please see attached.

Thanks,
Chris
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mercury-compiler-inform-inferred.patch
Type: application/octet-stream
Size: 5532 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20111024/01ee61ef/attachment.obj>