[m-rev.] diff: option to disable unification warnings

[Julien Fischer]

On Tue, 7 Feb 2006, Mark Brown wrote:

> Estimated hours taken: 0.5
> Branches: main
>
> Add an option to inhibit warnings about unifications that cannot succeed.
> Such code is sometimes useful, for example if you have debugging code that
> is normally meant to be compiled away.
>
> compiler/options.m:
> 	Add and document the option.
>
> compiler/modecheck_unify.m:
> 	Check the option before outputting the warning.
>

That looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------