[m-dev.] diff: disable tests/invalid/typeclass_test_9.m

Fergus Henderson fjh at cs.mu.OZ.AU
Sun Oct 3 20:58:28 AEST 1999


Hi,

DJ, your recent change to compiler/check_typeclass.m
broke tests/invalid/typeclass_test_9.m.
Could you please have a look at that?
For now, I'm just going to disable the test case.

----------

Estimated hours taken: 0.25

tests/invalid/Mmakefile:
	Disable the typeclass_test_9 test case, since we currently
	don't pass that one.

Workspace: /home/mercury0/fjh/mercury
Index: tests/invalid/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.47
diff -u -r1.47 Mmakefile
--- Mmakefile	1999/08/31 05:25:58	1.47
+++ Mmakefile	1999/10/03 10:55:30
@@ -59,7 +59,6 @@
 	typeclass_test_4.m \
 	typeclass_test_5.m \
 	typeclass_test_7.m \
-	typeclass_test_9.m \
 	types.m	\
 	type_spec.m \
 	unbound_inst_var.m \
@@ -76,7 +75,9 @@
 #	sub_b.m and sub_c.m (bug with dependencies & nested modules)
 #	freefree.m 	(need bromage's aliasing stuff)
 #	typeclass_test_8.m (minor formatting error in the output --
-#			the type class name should be in quotes)
+#			the type class name should be in quotes;
+#			also a software_error)
+#	typeclass_test_9.m (we don't catch all the errors that we should)
 
 MCFLAGS-aditi_update_errors =	--aditi
 MCFLAGS-aditi_update_mode_errors = --aditi

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