[m-dev.] structure reuse and static ground terms

[Nancy Mazur]

Hi,


===================================================================


Estimated hours taken: 2

Avoid generating static ground terms when trying to do structure
reuse (in order to be able to destructively update ground terms). 
This solves a bug which we tried to track down for about 
the given 2 hours: segmentation fault when destructively updating
some fields.

handle_options.m:
	The option infer_structure_reuse implies static_ground_terms to
	be set off. 


Index: handle_options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.90.2.1
diff -u -r1.90.2.1 handle_options.m
--- handle_options.m	2000/09/19 10:01:19	1.90.2.1
+++ handle_options.m	2000/09/20 15:36:12
@@ -294,6 +294,8 @@
 		bool(yes)),
 	option_implies(infer_structure_reuse, infer_possible_aliases,
 		bool(yes)),
+	option_implies(infer_structure_reuse, static_ground_terms, 
+		bool(no)), 
 	option_implies(infer_possible_aliases, warn_missing_trans_opt_files,
         	bool(yes)),
 	option_implies(infer_possible_aliases, transitive_optimization,

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------