[m-rev.] for review: fix a bug in untupling transformation

[Peter Wang]

On Friday 11 February 2005 03:37 pm, Julien Fischer wrote:
> On Fri, 11 Feb 2005, Peter Wang wrote:
> 
> > ===================================================================
> > RCS file: /home/mercury1/repository/tests/valid/Mercury.options,v
> > retrieving revision 1.15
> > diff -u -r1.15 Mercury.options
> > --- tests/valid/Mercury.options	7 Feb 2005 07:56:53 -0000	1.15
> > +++ tests/valid/Mercury.options	10 Feb 2005 12:50:46 -0000
> > @@ -94,6 +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
> 
> You'll need to restrict this test to the LLDS backend as debugging
> hasn't been implemented for the MLDS one.  There are some examples
> of how to do this sort of thing in the Mmakefile.

Something like this, then?

Index: tests/valid/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/valid/Mmakefile,v
retrieving revision 1.147
diff -u -r1.147 Mmakefile
--- tests/valid/Mmakefile	7 Feb 2005 07:56:54 -0000	1.147
+++ tests/valid/Mmakefile	14 Feb 2005 03:46:51 -0000
@@ -201,6 +201,11 @@
 DEEP_PROF_CAPABLE_PROGS = \
 	impure_detism
 
+	# This test requires debugging, which hasn't been
+	# implemented for the MLDS backend.
+LLDS_PROGS= \
+	untuple_bug
+
 # The following programs require that num_tag_bits >= 1
 RESERVE_TAG_PROGS = \
 	reserve_tag
@@ -273,7 +278,7 @@
 endif
 
 ifeq "$(filter hl% java% il%,$(GRADE))" ""
-	PROGS4 = $(PROGS3) $(DEEP_PROF_CAPABLE_PROGS)
+	PROGS4 = $(PROGS3) $(DEEP_PROF_CAPABLE_PROGS) $(LLDS_PROGS)
 else
 	PROGS4 = $(PROGS3)
 endif


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