[m-rev.] trivial diff: fix tests/valid/untuple_bug in .decldebug grades

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Fix tests/valid/untuple_bug so that it does not fail in the .decldebug
grades.  The problem is that is compiled with `--trace deep' which is
incompatible with the .decldebug grades.

The fix is to compile the test case with `--trace rep'.  The original
bug still shows up with trace rep if Peter's fix is removed.

tests/valid/Mercury.options:
	Compile the untuple_bug test case with `--trace rep'
	rather than `--trace deep'.

Julien.

Index: Mercury.options
===================================================================
RCS file: /home/mercury1/repository/tests/valid/Mercury.options,v
retrieving revision 1.16
diff -u -r1.16 Mercury.options
--- Mercury.options	14 Feb 2005 04:49:17 -0000	1.16
+++ Mercury.options	19 Feb 2005 05:58:59 -0000
@@ -94,7 +94,7 @@
 MCFLAGS-type_inf_ambig_test	= --infer-all
 MCFLAGS-unify_typeinfo_bug	= -O3 --no-special-preds
 MCFLAGS-uniq_mode_inf_bug	= --infer-all
-MCFLAGS-untuple_bug		= -O0 --untuple --trace deep --trace-optimized
+MCFLAGS-untuple_bug		= -O0 --untuple --trace rep --trace-optimized
 MCFLAGS-vn_float		= -O5
 MCFLAGS-zero_arity		= --infer-modes
 MGNUCFLAGS-reg_bug		= --no-ansi

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