[m-dev.] for review: respect halt_at_warn for warn_unused_interfaces

[David Glen JEFFERY]

On 13-Jan-2000, Peter Ross <petdr at cs.mu.OZ.AU> wrote:
> Hi,
> 
> DJ can you review this.
> I will check this in on the 0.9.x branch as well.
> 
> 
> ===================================================================
> 
> 
> Estimated hours taken: 0.5
> 
> The option, --warn-interface-imports, wasn't respecting the
> --halt-at-warn option.
> 
> compiler/module_qual.m:
>     If --halt-at-warn turned on, make sure the compiler exits with a
>     non-zero exit status.
> 
> browser/collect_lib.m:
>     Remove unused interface imports.

Looks good.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------