[m-rev.] trivial diff: disable constraint propagation when debugging

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

compiler/handle_options.m:
	Disable --constraint-propagation and --local-constraint-propagation
	when tracing is enabled.


Index: handle_options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.116
diff -u -u -r1.116 handle_options.m
--- handle_options.m	2001/08/11 14:09:38	1.116
+++ handle_options.m	2001/08/13 07:41:42
@@ -513,6 +513,10 @@
 			globals__io_set_option(user_guided_type_specialization,
 				bool(no)),
 			globals__io_set_option(deforestation, bool(no)),
+			globals__io_set_option(constraint_propagation,
+				bool(no)),
+			globals__io_set_option(local_constraint_propagation,
+				bool(no)),
 			globals__io_set_option(optimize_duplicate_calls,
 				bool(no)),
 			globals__io_set_option(optimize_constructor_last_call,
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------