[m-rev.] Re: for review: handle_given_options should not set exit status

[Peter Wang]

On Wed, 11 Jul 2012 12:32:47 +1000, Peter Wang <novalazy at gmail.com> wrote:
> Branches: main, 11.07
> 
> handle_given_options should not set the exist status.

exit status.

> 
> The first time that real_main_after_expansion calls handle_given_options,
> errors due to incompatible options should be tolerated because not all the
> options are known yet.  But handle_given_options already set the exit status.
> 
> This prevented normal use of the --warn-non-tail-recursion option:
> --mlds-optimize is initially set to `no', which implies --no-optimize-tailcalls,
> which is incompatible with --warn-non-tail-recursion.
> 
> compiler/handle_options.m:
> 	As above.

I will commit this later today.  It would be worth backporting to 11.07
for the next release.

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