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

Julien Fischer juliensf at cs.mu.OZ.AU
Fri Feb 11 15:37:22 AEDT 2005


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.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list