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