[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