[m-dev.] for review: add predicate for reporting warnings to error_util.m

[Robert Ernst Johann JESCHOFNIK]

On Thu, 9 Dec 1999, Robert Ernst Johann JESCHOFNIK wrote:

> +	% Report a warning, and set the exit status to error if the
> +	% --halt-at-warn option is set. This predicate does the same this as

oops. this typo is now fixed.
(s/this/thing)

> +	% prog_io__report_warning, except that it does a nicer job of

this one too.
(s/prog_io/prog_io_util)



rob

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