[m-rev.] for review: improve reporting of mode warnings

[Simon Taylor]

On 28-May-2007, Ian MacLarty <maclarty at csse.unimelb.edu.au> wrote:
> For review by anyone.
> 
> Estimated hours taken: 5
> Branches: main
> 
> Only report mode warnings if they occur in all modes.
> simplify.m already had code to do this, so move this code to error_util.m and
> reuse it in modes.m
> 
> Also only report mode warnings for user defined predicates.  Do not report them
> for compiler generated predicates (after making the change in the previous
> paragraph, the compiler issued a warning for a generated unification predicate
> in term_to_xml.m).
 
Looks fine to me.

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