[m-rev.] For review: Remove --region-analysis option

[Julien Fischer]

On Wed, 8 Aug 2007, Quan Phan wrote:

> Estimate hours taken: 0.5
>
> Remove option --region-analysis because it is no longer needed. To turn on
> region-based memory management now we just use --use-regions in .rbmm grade.
>
> compiler/options.m:
> 	Remove the --region-analysis option.
> 	An unrelated change but no harm: provide default values for some
> 	region structures.
>
> compiler/mercury_compile.m
> 	Use --use-regions to turn on region analysis.
>
> Regards,
> Quan
>
> Index: mercury_compile.m
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/compiler/mercury_compile.m,v
> retrieving revision 1.446
> diff -u -r1.446 mercury_compile.m
> --- mercury_compile.m	8 Aug 2007 05:08:40 -0000	1.446
> +++ mercury_compile.m	8 Aug 2007 10:07:22 -0000
> @@ -4248,7 +4248,7 @@
>
> maybe_region_analysis(Verbose, Stats, !HLDS, !IO) :-
>     module_info_get_globals(!.HLDS, Globals),
> -    globals.lookup_bool_option(Globals, region_analysis, Analysis),
> +    globals.lookup_bool_option(Globals, use_regions, Analysis),
>     (
>         Analysis = yes,
>         maybe_write_string(Verbose, "% Analysing regions ...\n", !IO),
> Index: options.m
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/mercury/compiler/options.m,v
> retrieving revision 1.581
> diff -u -r1.581 options.m
> --- options.m	31 Jul 2007 07:58:42 -0000	1.581
> +++ options.m	8 Aug 2007 10:07:25 -0000
> @@ -587,7 +587,6 @@
>     ;       distance_granularity
>     ;       parallelism_target
>     ;       implicit_parallelism
> -    ;       region_analysis


You also need to delete refrences to that option from the predicates
long_option/2 and option_defaults_2/2.
There is also some commented out documentation for it in options.m,
as well as in the user's guide - please delete that also.

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