[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