[m-rev.] diff: fix problem with --grade option

[Julien Fischer]

Branches: main, 11.07

Fix a problem with the handling of the --grade option.

compiler/handle_options.m:
 	Reset some grade options that were not being reset
 	before the effects of a --grade option were applied to
 	the option table.

Julien.

Index: compiler/handle_options.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.369
diff -u -r1.369 handle_options.m
--- compiler/handle_options.m	27 Sep 2011 00:49:24 -0000	1.369
+++ compiler/handle_options.m	9 Oct 2011 14:52:16 -0000
@@ -3033,6 +3033,7 @@
  grade_start_values(profile_calls - bool(no)).
  grade_start_values(profile_memory - bool(no)).
  grade_start_values(use_trail - bool(no)).
+grade_start_values(trail_segments - bool(no)).
  grade_start_values(use_minimal_model_stack_copy - bool(no)).
  grade_start_values(use_minimal_model_own_stacks - bool(no)).
  grade_start_values(minimal_model_debug - bool(no)).
@@ -3041,6 +3042,12 @@
  grade_start_values(decl_debug - bool(no)).
  grade_start_values(source_to_source_debug - bool(no)).
  grade_start_values(extend_stacks_when_needed - bool(no)).
+grade_start_values(stack_segments - bool(no)).
+grade_start_values(use_regions - bool(no)).
+grade_start_values(use_alloc_regions - bool(no)).
+grade_start_values(use_regions_debug - bool(no)).
+grade_start_values(use_regions_profiling - bool(no)).
+grade_start_values(low_level_debug - bool(no)).

  :- pred split_grade_string(string::in, list(string)::out) is semidet.


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