trivial diff: enable/disable some test cases

[Fergus Henderson]

tests/invalid/Mmakefile:
	Disable the `sub_b' and `sub_c' test cases, since we don't pass
	them (due to a bug with the auto-generated Mmake dependencies
	for nested modules).
	Enable the `typeclass_test_7' test case, since we do pass it now.

tests/invalid/typeclass_test_7.err_exp:
	Update to reflect the proper output for this test case:
	s/unsatisfied/unsatisfiable/

Index: tests/invalid/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.28
diff -u -r1.28 Mmakefile
--- Mmakefile	1998/10/01 06:46:05	1.28
+++ Mmakefile	1998/10/06 05:15:25
@@ -40,8 +40,6 @@
 	prog_io_erroneous.m \
 	qual_basic_test2.m \
 	qualified_cons_id2.m \
-	sub_b.m \
-	sub_c.m \
 	test_nested.m \
 	type_inf_loop.m \
 	type_loop.m \
@@ -51,6 +49,7 @@
 	typeclass_test_3.m \
 	typeclass_test_4.m \
 	typeclass_test_5.m \
+	typeclass_test_7.m \
 	types.m	\
 	unbound_inst_var.m \
 	undef_lambda_mode.m \
@@ -60,10 +59,10 @@
 	vars_in_wrong_places.m
 
 # we do not yet pass the following tests:
-#	parent.undeclared_child.m
+#	parent.undeclared_child.m (just not yet implemented)
+#	sub_b.m and sub_c.m (bug with dependencies & nested modules)
 #	freefree.m 	(need bromage's aliasing stuff)
 #	no_exports.m	(this is really a WISHLIST item)
-#	typeclass_test_7.m (the fix is on the `existential_types' cvs branch)
 #
 # we do a very bad job on the following tests:
 #	typeclass_test_4.m (awful error message)
Index: tests/invalid/typeclass_test_7.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/typeclass_test_7.err_exp,v
retrieving revision 1.1
diff -u -r1.1 typeclass_test_7.err_exp
--- typeclass_test_7.err_exp	1998/06/22 08:45:20	1.1
+++ typeclass_test_7.err_exp	1998/10/06 05:14:07
@@ -1,4 +1,4 @@
 typeclass_test_7.m:010: In clause for predicate `typeclass_test_7:p/2':
-typeclass_test_7.m:010:   unsatisfied typeclass constraint(s):
+typeclass_test_7.m:010:   unsatisfiable typeclass constraint(s):
 typeclass_test_7.m:010:   typeclass_test_7:numbered_type(T).
 For more information, try recompiling with `-E'.

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