[m-dev.] diff: disable tests/hard_coded/purity

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Mar 28 21:57:42 AEST 2000


Tyson recently created a `purity' subdirectory in tests/hard_coded.
(cvs has a mis-feature that when you `cvs add' a directory name, it
commits that addition right away.)

This broke the `purity.m' test case in the tests/hard_coded
directory, since the executable name for that test case
clashed with the subdirectory name.

I presume that Tyson was probably planning to move the purity.m
test case into that subdirectory.  So for now, I will just disable
the test case.  Tyson, could you please make sure that you
re-enable this test (after fixing the name clash)
when you commit your purity changes?

--------------------

Estimated hours taken: 0.25

tests/hard_coded/Mmakefile:
	Disable the `purity' test case, since the executable
	name for that test case clashes with the `purity'
	subdirectory that Tyson recently added.

Workspace: /home/mercury0/fjh/mercury
Index: tests/hard_coded/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.80
diff -u -d -r1.80 Mmakefile
--- tests/hard_coded/Mmakefile	2000/03/24 02:23:41	1.80
+++ tests/hard_coded/Mmakefile	2000/03/28 11:49:32
@@ -80,7 +80,6 @@
 	pragma_c_code \
 	pragma_inline \
 	pragma_import \
-	purity \
 	qual_adv_test \
 	qual_basic_test \
 	qual_is_test \
@@ -116,6 +115,7 @@
 	split_c_files
 
 # we do not pass the following tests
+#	purity -- executable name clashes with the `purity' subdirectory
 #	var_not_found -- "sorry, not implemented" in polymorphism.m.
 
 #-----------------------------------------------------------------------------#

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list