[m-rev.] diff: disable puzzle_detism_bug test

Zoltan Somogyi zs at cs.mu.OZ.AU
Mon Jan 10 12:48:31 AEDT 2005


tests/hard_coded/Mmakefile:
	Disable the puzzle_detism_bug test case for now, since there is
	no prospect of it being fixed in the near future.

Zoltan.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.245
diff -u -b -r1.245 Mmakefile
--- Mmakefile	20 Dec 2004 05:26:04 -0000	1.245
+++ Mmakefile	8 Jan 2005 14:50:54 -0000
@@ -131,7 +131,6 @@
 	pragma_import \
 	pragma_inline \
 	pretty_printing \
-	puzzle_detism_bug \
 	qual_adv_test \
 	qual_basic_test \
 	qual_is_test \
@@ -345,6 +344,8 @@
 #
 # XXX compare_rep_array doesn't work because MR_COMPARE_BY_RTTI is
 #     not yet implemented for arrays.
+#
+# XXX puzzle_detism_bug exposes a bug in mode analysis
 #
 # XXX we fail some of the commented-out tests in write_binary
 
cvs diff: Diffing exceptions
cvs diff: Diffing purity
cvs diff: Diffing sub-modules
cvs diff: Diffing typeclasses

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