[m-rev.] fix for mmc --make-interface --warn-tail-recursion

[Simon Taylor]

On 15-Feb-2002, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Estimated hours taken: 1
> Branches: main
> 
> compiler/handle_options.m:
> 	Don't complain about --warn-non-tail-recursion if we're just
> 	building interface files.
> 
> compiler/globals.m:
> 	Remove the implied modes for globals__lookup_bool_option
> 	and globals__io_lookup_bool_option; declaring these modes
> 	explicitly here would not have any efficiency benefit, and
> 	makes taking the address of those procedures (e.g. to pass
> 	to list__foldl, as is now done in handle_options.m) more difficult.
 
> Index: compiler/handle_options.m
> ===================================================================
> +	{ NonCompileOptionList = [convert_to_mercury,
> +		generate_dependencies, make_interface,
> +		make_short_interface, make_private_interface,
> +		make_optimization_interface,
> +		make_transitive_opt_interface,
> +		typecheck_only] },

`--errorcheck-only' and `--output-grade-string' should be included
in NonCompileOptionList. You should also avoid code duplication
with the similar code to disable smart recompilation when not
compiling.

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