[m-rev.] for review: enable --warn-insts-without-matching-type by default

[Julien Fischer]

On Tue, 8 Aug 2006, Ian MacLarty wrote:

> For review by anyone.
>
> Estimated hours taken: 0.3
> Branches: main
>
> Enable --warn-insts-without-matching-type by default.
>
> configure.in:
> 	Check for this option when checking whether the bootstrap compiler
> 	is new enough.
>
> compiler/options.m:
> 	Turn the warning on by default.
>
> library/Mercury.options:
> 	Disable the warning for io.m and array.m.  These modules contain
> 	insts with symbols in their bound lists that don't belong to any
> 	Mercury types, since the corresponding types are foreign types.

That looks okay.

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