trivial diff: fix tests/invalid/*.err_exp for "no exports" warning

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Oct 30 15:38:19 AEDT 1998


tests/invalid/*.err_exp:
	Update the test results to reflect the new warnings
	about modules with no exports.

Index: tests/invalid/bigtest.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/bigtest.err_exp,v
retrieving revision 1.2
diff -u -r1.2 bigtest.err_exp
--- bigtest.err_exp	1998/09/15 07:31:21	1.2
+++ bigtest.err_exp	1998/10/29 08:21:34
@@ -1,6 +1,7 @@
 bigtest.m:001: Warning: module should start with a `:- module' declaration.
 bigtest.m:006: Syntax error at token ':-': operator precedence error.
 bigtest.m:008: Error: unrecognized declaration: incorrect_declaration.
+bigtest.m:  1: Warning: interface for module `bigtest' does not export anything.
 bigtest.m:001: Warning: declaration not yet implemented.
 bigtest.m:002: Warning: declaration not yet implemented.
 bigtest.m:003: Warning: declaration not yet implemented.
Index: tests/invalid/duplicate_modes.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/duplicate_modes.err_exp,v
retrieving revision 1.2
diff -u -r1.2 duplicate_modes.err_exp
--- duplicate_modes.err_exp	1998/01/24 05:44:33	1.2
+++ duplicate_modes.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,9 @@
+duplicate_modes.m:  1: Warning: interface for module `duplicate_modes' does not export anything.
+		To be useful, a module should export something.
+		A file should contain at least one declaration other than
+		`:- import_module' in its interface section(s).
+		This would normally be a `:- pred', `:- func', `:- type',
+		`:- inst' or `:- mode' declaration.
 duplicate_modes.m:003: In mode declarations for predicate `duplicate_modes:p/0':
 duplicate_modes.m:003:   error: duplicate mode declaration.
 duplicate_modes.m:003:   Modes `p is det'
Index: tests/invalid/errors.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/errors.err_exp,v
retrieving revision 1.4
diff -u -r1.4 errors.err_exp
--- errors.err_exp	1998/03/03 17:47:53	1.4
+++ errors.err_exp	1998/10/29 08:21:34
@@ -1,6 +1,7 @@
 errors.m:010: Warning: module should start with a `:- module' declaration.
 errors.m:060: Error: free type parameter in RHS of type definition: f(_0).
 errors.m:061: Error: free type parameter in RHS of type definition: f(_0).
+errors.m:  1: Warning: interface for module `errors' does not export anything.
 errors.m:001: Warning: module `int' is imported using both
 errors.m:001:   `:- import_module' and `:- use_module' declarations.
 errors.m:051: In definition of type `errors:du_type_which_references_undefined_type'/0:
Index: tests/invalid/errors1.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/errors1.err_exp,v
retrieving revision 1.2
diff -u -r1.2 errors1.err_exp
--- errors1.err_exp	1997/04/27 05:28:49	1.2
+++ errors1.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,4 @@
+errors1.m:  1: Warning: interface for module `errors1' does not export anything.
 errors1.m:051: In definition of type `errors1:du_type_which_references_undefined_type'/0:
 errors1.m:051:   error: undefined type `undefined_type'/0.
 errors1.m:053: In definition of type `errors1:eqv_type_which_references_undefined_type'/0:
Index: tests/invalid/errors2.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/errors2.err_exp,v
retrieving revision 1.5
diff -u -r1.5 errors2.err_exp
--- errors2.err_exp	1998/01/02 00:11:20	1.5
+++ errors2.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,4 @@
+errors2.m:  1: Warning: interface for module `errors2' does not export anything.
 errors2.m:009: Error: clause for predicate `errors2:bind_type_param/1'
 errors2.m:009:   without preceding `pred' declaration.
 errors2.m:052: In clause for predicate `errors2:type_error_4/0':
Index: tests/invalid/funcs_as_preds.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/funcs_as_preds.err_exp,v
retrieving revision 1.5
diff -u -r1.5 funcs_as_preds.err_exp
--- funcs_as_preds.err_exp	1998/01/06 02:41:02	1.5
+++ funcs_as_preds.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,4 @@
+funcs_as_preds.m:  1: Warning: interface for module `funcs_as_preds' does not export anything.
 funcs_as_preds.m:017: Error: clause for function `funcs_as_preds:null/1'
 funcs_as_preds.m:017:   without preceding `func' declaration.
 funcs_as_preds.m:021: Error: clause for function `funcs_as_preds:car/1'
Index: tests/invalid/modes_erroneous.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/modes_erroneous.err_exp,v
retrieving revision 1.1
diff -u -r1.1 modes_erroneous.err_exp
--- modes_erroneous.err_exp	1996/11/04 07:14:56	1.1
+++ modes_erroneous.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,4 @@
+modes_erroneous.m:  1: Warning: interface for module `modes_erroneous' does not export anything.
 modes_erroneous.m:009: In clause for `p((ground -> ground), (free -> ground))':
 modes_erroneous.m:009:   in argument 1 of call to predicate `modes_erroneous:p/2':
 modes_erroneous.m:009:   mode error: variable `V_5' has instantiatedness `free',
Index: tests/invalid/occurs.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/occurs.err_exp,v
retrieving revision 1.3
diff -u -r1.3 occurs.err_exp
--- occurs.err_exp	1997/04/27 05:28:54	1.3
+++ occurs.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,4 @@
+occurs.m:  1: Warning: interface for module `occurs' does not export anything.
 occurs.m:008: In clause for predicate `occurs:p/0':
 occurs.m:008:   warning: variable `X' occurs only once in this scope.
 occurs.m:008: In clause for `p':
Index: tests/invalid/predmode.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/predmode.err_exp,v
retrieving revision 1.2
diff -u -r1.2 predmode.err_exp
--- predmode.err_exp	1998/03/04 04:37:32	1.2
+++ predmode.err_exp	1998/10/29 08:21:34
@@ -1,2 +1,3 @@
 predmode.m:005: Error: some but not all arguments have modes: p(int :: in, int).
+predmode.m:  1: Warning: interface for module `predmode' does not export anything.
 For more information, try recompiling with `-E'.
Index: tests/invalid/prog_io_erroneous.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/prog_io_erroneous.err_exp,v
retrieving revision 1.3
diff -u -r1.3 prog_io_erroneous.err_exp
--- prog_io_erroneous.err_exp	1998/05/29 08:57:03	1.3
+++ prog_io_erroneous.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,4 @@
+prog_io_erroneous.m:  1: Warning: interface for module `prog_io_erroneous' does not export anything.
 prog_io_erroneous.m:012: Error: no clauses for predicate `prog_io_erroneous:q/2'
 prog_io_erroneous.m:007: In clause for `p(in, out, out)':
 prog_io_erroneous.m:007:   in argument 1 of call to predicate `prog_io_erroneous:q/2':
Index: tests/invalid/type_inf_loop.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/type_inf_loop.err_exp,v
retrieving revision 1.1
diff -u -r1.1 type_inf_loop.err_exp
--- type_inf_loop.err_exp	1998/03/18 10:22:13	1.1
+++ type_inf_loop.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,4 @@
+type_inf_loop.m:  1: Warning: interface for module `type_inf_loop' does not export anything.
 type_inf_loop.m:004: Error: clause for predicate `type_inf_loop:loop/1'
 type_inf_loop.m:004:   without preceding `pred' declaration.
 Type inference iteration limit exceeded.
Index: tests/invalid/types.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/types.err_exp,v
retrieving revision 1.4
diff -u -r1.4 types.err_exp
--- types.err_exp	1998/05/29 08:57:09	1.4
+++ types.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,4 @@
+types.m:  1: Warning: interface for module `types' does not export anything.
 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'
Index: tests/invalid/undef_mode.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/undef_mode.err_exp,v
retrieving revision 1.1
diff -u -r1.1 undef_mode.err_exp
--- undef_mode.err_exp	1997/05/23 07:40:54	1.1
+++ undef_mode.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,4 @@
+undef_mode.m:  1: Warning: interface for module `undef_mode' does not export anything.
 undef_mode.m:004: In mode declaration for predicate `undef_mode:x'/1:
 undef_mode.m:004:   error: undefined mode `foo'/0.
 For more information, try recompiling with `-E'.
Index: tests/invalid/undef_type.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/undef_type.err_exp,v
retrieving revision 1.3
diff -u -r1.3 undef_type.err_exp
--- undef_type.err_exp	1998/05/29 08:57:11	1.3
+++ undef_type.err_exp	1998/10/29 08:21:34
@@ -1,3 +1,4 @@
+undef_type.m:  1: Warning: interface for module `undef_type' does not export anything.
 undef_type.m:003: In definition of type `undef_type:t1'/0:
 undef_type.m:003:   error: undefined type `undef1'/0.
 undef_type.m:010: In definition of predicate `undef_type:q'/1:
Index: tests/invalid/vars_in_wrong_places.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/vars_in_wrong_places.err_exp,v
retrieving revision 1.1
diff -u -r1.1 vars_in_wrong_places.err_exp
--- vars_in_wrong_places.err_exp	1997/11/02 12:29:48	1.1
+++ vars_in_wrong_places.err_exp	1998/10/29 08:21:34
@@ -5,4 +5,5 @@
 vars_in_wrong_places.m:006: Error: atom expected in `:- func' declaration: _0 = int.
 Error: atom expected in predicate `:- mode' declaration: _0.
 vars_in_wrong_places.m:008: Error: atom expected in function `:- mode' declaration: _0 = int.
+vars_in_wrong_places.m:  1: Warning: interface for module `vars_in_wrong_places' does not export anything.
 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.



More information about the developers mailing list