[m-rev.] diff: add missing option type and default value

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

compiler/options.m:
	Provide a default value and type for the
	data_structure_sharing_analysis option.

Julien.

Index: options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.482
diff -u -r1.482 options.m
--- options.m	16 Dec 2005 12:17:53 -0000	1.482
+++ options.m	17 Dec 2005 14:25:12 -0000
@@ -1226,6 +1226,7 @@
     optimize_constructor_last_call_accumulator -    bool(no),
     optimize_constructor_last_call      -   bool(no),
     optimize_dead_procs                 -   bool(no),
+    data_structure_sharing_analysis     -   bool(no),
     deforestation                       -   bool(no),
     deforestation_depth_limit           -   int(4),
     deforestation_cost_factor           -   int(1000),
@@ -1915,6 +1916,8 @@
                     optimize_constructor_last_call).
 long_option("optimize-dead-procs",  optimize_dead_procs).
 long_option("optimise-dead-procs",  optimize_dead_procs).
+long_option("data-structure-sharing-analysis",
+    data_structure_sharing_analysis).
 long_option("deforestation",        deforestation).
 long_option("deforestation-depth-limit",    deforestation_depth_limit).
 long_option("deforestation-cost-factor",    deforestation_cost_factor).
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------