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

Peter Ross petdr at miscrit.be
Thu Sep 21 02:54:50 AEDT 2000


Looks fine, thanks Nancy.

On Wed, Sep 20, 2000 at 05:52:49PM +0200, Nancy Mazur wrote:
> 
> 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
> --------------------------------------------------------------------------
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list