diff: changes to tests/invalid

[Fergus Henderson]

Estimated hours taken: 1

tests/invalid/Mmakefile:
tests/invalid/types.err_exp:
tests/invalid/qualified_cons_id2.err_exp:
	Update the expected output for these test cases to reflect what is
	actually output.  Enable these tests, and also prog_io_erroneous.m,
	since we now pass them.  For the tests which we still do not
	pass, document why we don't pass them.

tests/invalid/no_exports.m:
	Document what we ought to complain about for this test case.

cvs diff  tests/invalid/Mmakefile tests/invalid/no_exports.m tests/invalid/qualified_cons_id2.err_exp tests/invalid/types.err_exp
Index: tests/invalid/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.8
diff -u -r1.8 Mmakefile
--- Mmakefile	1997/12/24 02:25:11	1.8
+++ Mmakefile	1998/01/12 13:16:32
@@ -32,21 +32,21 @@
 	pragma_c_code_and_clauses1.m \
 	pragma_c_code_and_clauses2.m \
 	pragma_c_code_no_det.m \
+	prog_io_erroneous.m \
 	qual_basic_test2.m \
+	qualified_cons_id2.m \
 	type_loop.m \
 	type_mismatch.m \
 	unbound_inst_var.m \
 	undef_lambda_mode.m \
 	undef_mode.m \
 	undef_type.m \
+	types.m	\
 	vars_in_wrong_places.m
 
 # we do not yet pass the following tests:
-#	freefree.m \
-#	no_exports.m \
-#	prog_io_erroneous.m \
-#	qualified_cons_id2.m \
-#	types.m
+#	freefree.m 	(need bromage's aliasing stuff)
+#	no_exports.m	(this is really a WISHLIST item)
 
 MCFLAGS-multisoln_func	=	--infer-types
 MCFLAGS-any_mode	=	--infer-types
Index: tests/invalid/no_exports.m
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/no_exports.m,v
retrieving revision 1.1
diff -u -r1.1 no_exports.m
--- no_exports.m	1996/12/04 05:55:37	1.1
+++ no_exports.m	1998/01/12 13:24:07
@@ -1,3 +1,7 @@
+%
+% Ideally we ought to issue a warning for this module,
+% e.g. `nothing exported' or `main/2 unused'.
+%
 :- module no_exports.
 
 % :- interface.
Index: tests/invalid/qualified_cons_id2.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/qualified_cons_id2.err_exp,v
retrieving revision 1.1
diff -u -r1.1 qualified_cons_id2.err_exp
--- qualified_cons_id2.err_exp	1997/04/27 05:28:57	1.1
+++ qualified_cons_id2.err_exp	1998/01/12 10:30:33
@@ -1 +1,4 @@
-XXX
+qualified_cons_id2.m:015: In mode declarations for predicate `qualified_cons_id2:test/2':
+qualified_cons_id2.m:015:   error: duplicate mode declaration.
+qualified_cons_id2.m:016:   Here is the conflicting mode declaration.
+For more information, try recompiling with `-E'.
Index: tests/invalid/types.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/types.err_exp,v
retrieving revision 1.1
diff -u -r1.1 types.err_exp
--- types.err_exp	1996/11/04 07:15:14	1.1
+++ types.err_exp	1998/01/12 13:06:22
@@ -1,6 +1,6 @@
 types.m:001: Warning: incorrect module name in `:- module' declaration.
-types.m:003: Error: constructor `a/0' for type `types:t/0' multiply defined.
-types.m:003: Error: constructor `f/1' for type `types:t/0' multiply defined.
+types.m:003: Error: constructor `types:a/0' for type `types:t/0' multiply defined.
+types.m:003: Error: constructor `types:f/1' for type `types:t/0' multiply defined.
 types.m:017: Error: clause for predicate `types:r/0'
 types.m:017:   without preceding `pred' declaration.
 types.m:020: Error: clause for predicate `types:a/1'
@@ -22,6 +22,12 @@
 types.m:018:   error: undefined predicate `s/0'.
 types.m:020: In clause for predicate `types:a/1':
 types.m:020:   error: undefined predicate `b/1'.
+types.m:030: In predicate `types:foo/0':
+types.m:030:   warning: unresolved polymorphism.
+types.m:030:   The variable with an unbound type was:
+types.m:030:       V_1 :: BarTypeParam
+types.m:030:   The unbound type variable(s) will be implicitly
+types.m:030:   bound to the builtin type `void'.
 types.m:042: Error: no mode declaration for predicate `types:baz/1'.
 types.m:052: Error: no mode declaration for predicate `types:baz2/1'.
 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.