[m-dev.] trivial diff: fix tests/invalid/*.err_exp*

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Nov 10 09:39:56 AEDT 1999


Estimated hours taken: 0.5

tests/invalid/*.err_exp:
tests/invalid/*.err_exp2:
	Add a period at the end of some error messages,
	to reflect my recent change to compiler/typecheck.m.

tests/invalid/missing_interface_import.err_exp2:
	Add `(the module std_util has not been imported)',
	to refect a recent improvement to the error messages
	for undefined types.

Workspace: /home/mercury0/fjh/mercury
Index: tests/invalid/aditi_update_errors.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/aditi_update_errors.err_exp,v
retrieving revision 1.1
diff -u -d -r1.1 aditi_update_errors.err_exp
--- aditi_update_errors.err_exp	1999/07/13 08:55:06	1.1
+++ aditi_update_errors.err_exp	1999/11/09 22:20:57
@@ -40,7 +40,7 @@
 aditi_update_errors.m:073:   warning: variable `X' has overlapping scopes.
 aditi_update_errors.m:083: In clause for predicate `aditi_update_errors:aditi_update_syntax/2':
 aditi_update_errors.m:083:   warning: variable `X' has overlapping scopes.
-aditi_update_errors.m:007: Error: no clauses for predicate `aditi_update_errors:aditi_update_syntax/2'
+aditi_update_errors.m:007: Error: no clauses for predicate `aditi_update_errors:aditi_update_syntax/2'.
 aditi_update_errors.m:097: In clause for predicate `aditi_update_errors:aditi_update_types/2':
 aditi_update_errors.m:097:   error: wrong number of arguments (2; should be 3)
 aditi_update_errors.m:097:   in call to predicate `p'.
@@ -146,7 +146,7 @@
 aditi_update_errors.m:175:   in argument 2 of `aditi_modify' of function `q/2':
 aditi_update_errors.m:175:   type error: variable `ModifyQ' has type `((aditi_top_down func(V_47, int, int, V_50, int)) = int)',
 aditi_update_errors.m:175:   expected type was `(aditi_top_down pred((aditi:state), int, int, (aditi:state), int, int))'.
-aditi_update_errors.m:026: Error: no clauses for predicate `aditi_update_errors:anc/3'
+aditi_update_errors.m:026: Error: no clauses for predicate `aditi_update_errors:anc/3'.
 aditi_update_errors.m:094: In `aditi_insert' of predicate `anc/3':
 aditi_update_errors.m:094:   error: the modified predicate is not a base relation.
 For more information, try recompiling with `-E'.
Index: tests/invalid/errors2.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/errors2.err_exp,v
retrieving revision 1.8
diff -u -d -r1.8 errors2.err_exp
--- errors2.err_exp	1999/07/13 08:55:09	1.8
+++ errors2.err_exp	1999/11/09 22:21:04
@@ -11,9 +11,9 @@
 errors2.m:070:   warning: variable `Y' occurs only once in this scope.
 errors2.m:071: In clause for predicate `errors2:type_error_7/0':
 errors2.m:071:   warning: variables `Z, A, B' occur only once in this scope.
-errors2.m:007: Error: no clauses for predicate `errors2:bind_type_param/2'
-errors2.m:023: Error: no clauses for predicate `errors2:produce_string/1'
-errors2.m:025: Error: no clauses for predicate `errors2:expect_int/1'
+errors2.m:007: Error: no clauses for predicate `errors2:bind_type_param/2'.
+errors2.m:023: Error: no clauses for predicate `errors2:produce_string/1'.
+errors2.m:025: Error: no clauses for predicate `errors2:expect_int/1'.
 errors2.m:031: In clause for predicate `errors2:type_error/0':
 errors2.m:031:   in argument 1 of call to predicate `expect_int/1':
 errors2.m:031:   type error: variable `X' has type `string',
Index: tests/invalid/external.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/external.err_exp,v
retrieving revision 1.1
diff -u -d -r1.1 external.err_exp
--- external.err_exp	1996/12/23 04:58:47	1.1
+++ external.err_exp	1999/11/09 22:21:10
@@ -1,3 +1,3 @@
 external.m:012: Warning: `external' declaration requires arity.
-external.m:007: Error: no clauses for predicate `external:p/2'
+external.m:007: Error: no clauses for predicate `external:p/2'.
 For more information, try recompiling with `-E'.
Index: tests/invalid/missing_det_decls.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/missing_det_decls.err_exp,v
retrieving revision 1.3
diff -u -d -r1.3 missing_det_decls.err_exp
--- missing_det_decls.err_exp	1999/09/21 07:24:05	1.3
+++ missing_det_decls.err_exp	1999/11/09 22:21:15
@@ -6,8 +6,8 @@
 missing_det_decls.m:013:   predicate `missing_det_decls:loc1/0'.
 missing_det_decls.m:016: Error: no determinism declaration for local
 missing_det_decls.m:016:   predicate `missing_det_decls:loc2/1'.
-missing_det_decls.m:004: Error: no clauses for predicate `missing_det_decls:exp1/0'
-missing_det_decls.m:007: Error: no clauses for predicate `missing_det_decls:exp2/1'
-missing_det_decls.m:012: Error: no clauses for predicate `missing_det_decls:loc1/0'
-missing_det_decls.m:015: Error: no clauses for predicate `missing_det_decls:loc2/1'
+missing_det_decls.m:004: Error: no clauses for predicate `missing_det_decls:exp1/0'.
+missing_det_decls.m:007: Error: no clauses for predicate `missing_det_decls:exp2/1'.
+missing_det_decls.m:012: Error: no clauses for predicate `missing_det_decls:loc1/0'.
+missing_det_decls.m:015: Error: no clauses for predicate `missing_det_decls:loc2/1'.
 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.4
diff -u -d -r1.4 prog_io_erroneous.err_exp
--- prog_io_erroneous.err_exp	1998/10/30 04:38:46	1.4
+++ prog_io_erroneous.err_exp	1999/11/09 22:21:19
@@ -1,5 +1,5 @@
 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: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':
 prog_io_erroneous.m:007:   mode error: variable `Y' has instantiatedness `free',
Index: tests/invalid/purity_nonsense.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/purity_nonsense.err_exp,v
retrieving revision 1.2
diff -u -d -r1.2 purity_nonsense.err_exp
--- purity_nonsense.err_exp	1998/01/06 06:31:42	1.2
+++ purity_nonsense.err_exp	1999/11/09 22:21:23
@@ -9,7 +9,7 @@
 purity_nonsense.m:013:   without preceding `pred' declaration.
 purity_nonsense.m:018: Warning: unnecessary `impure' marker.
 purity_nonsense.m:018:   Higher-order goals are always pure.
-purity_nonsense.m:008: Error: no clauses for predicate `purity_nonsense:undefined/0'
+purity_nonsense.m:008: Error: no clauses for predicate `purity_nonsense:undefined/0'.
 purity_nonsense.m:012: In clause for predicate `purity_nonsense:e12/0':
 purity_nonsense.m:012:   in argument 1 of call to predicate `impure/1':
 purity_nonsense.m:012:   error: the language construct \+/1 should be
Index: tests/invalid/types.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/types.err_exp,v
retrieving revision 1.7
diff -u -d -r1.7 types.err_exp
--- types.err_exp	1999/07/13 08:55:15	1.7
+++ types.err_exp	1999/11/09 22:21:30
@@ -5,7 +5,7 @@
 types.m:017:   without preceding `pred' declaration.
 types.m:020: Error: clause for predicate `types:a/1'
 types.m:020:   without preceding `pred' declaration.
-types.m:005: Error: no clauses for predicate `types:p/1'
+types.m:005: Error: no clauses for predicate `types:p/1'.
 types.m:012: In clause for predicate `types:q/0':
 types.m:012:   error: undefined predicate `zzzzzzzz/0'.
 types.m:013: In clause for predicate `types:q/0':
@@ -20,7 +20,7 @@
 types.m:039:   and constant `0'.
 types.m:039:   variable `X' has type `BarTypeParam',
 types.m:039:   constant `0' has type `int'.
-types.m:050: Error: no clauses for predicate `types:bar2/1'
+types.m:050: Error: no clauses for predicate `types:bar2/1'.
 types.m:018: In clause for predicate `types:r/0':
 types.m:018:   error: undefined predicate `s/0'.
 types.m:020: In clause for predicate `types:a/1':
Index: tests/invalid/errors2.err_exp2
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/errors2.err_exp2,v
retrieving revision 1.3
diff -u -d -r1.3 errors2.err_exp2
--- errors2.err_exp2	1999/07/13 08:55:09	1.3
+++ errors2.err_exp2	1999/11/09 22:30:11
@@ -11,9 +11,9 @@
 errors2.m:070:   warning: variable `Y' occurs only once in this scope.
 errors2.m:071: In clause for predicate `errors2:type_error_7/0':
 errors2.m:071:   warning: variables `Z, A, B' occur only once in this scope.
-errors2.m:007: Error: no clauses for predicate `errors2:bind_type_param/2'
-errors2.m:023: Error: no clauses for predicate `errors2:produce_string/1'
-errors2.m:025: Error: no clauses for predicate `errors2:expect_int/1'
+errors2.m:007: Error: no clauses for predicate `errors2:bind_type_param/2'.
+errors2.m:023: Error: no clauses for predicate `errors2:produce_string/1'.
+errors2.m:025: Error: no clauses for predicate `errors2:expect_int/1'.
 errors2.m:031: In clause for predicate `errors2:type_error/0':
 errors2.m:031:   in argument 1 of call to predicate `expect_int/1':
 errors2.m:031:   type error: variable `X' has type `string',
Index: tests/invalid/missing_interface_import.err_exp2
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/missing_interface_import.err_exp2,v
retrieving revision 1.1
diff -u -d -r1.1 missing_interface_import.err_exp2
--- missing_interface_import.err_exp2	1998/06/06 11:09:58	1.1
+++ missing_interface_import.err_exp2	1999/11/09 22:37:42
@@ -1,7 +1,8 @@
 missing_interface_import.m:007: In definition of type `missing_interface_import:bar'/0:
 missing_interface_import.m:007:   error: undefined type `map'/2.
 missing_interface_import.m:009: In definition of predicate `missing_interface_import:p'/1:
-missing_interface_import.m:009:   error: undefined type `std_util:univ'/0.
+missing_interface_import.m:009:   error: undefined type `std_util:univ'/0
+missing_interface_import.m:009:   (the module `std_util' has not been imported).
 missing_interface_import.m:010: In definition of predicate `missing_interface_import:q'/1:
 missing_interface_import.m:010:   error: undefined type `list'/1.
 `Mercury/ints/missing_interface_import.int' not written.
Index: tests/invalid/prog_io_erroneous.err_exp2
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/prog_io_erroneous.err_exp2,v
retrieving revision 1.2
diff -u -d -r1.2 prog_io_erroneous.err_exp2
--- prog_io_erroneous.err_exp2	1999/06/30 17:13:43	1.2
+++ prog_io_erroneous.err_exp2	1999/11/09 22:30:16
@@ -1,3 +1,3 @@
 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:012: Error: no clauses for predicate `prog_io_erroneous:q/2'.
 For more information, try recompiling with `-E'.
Index: tests/invalid/types.err_exp2
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/types.err_exp2,v
retrieving revision 1.3
diff -u -d -r1.3 types.err_exp2
--- types.err_exp2	1999/07/13 08:55:15	1.3
+++ types.err_exp2	1999/11/09 22:30:21
@@ -5,7 +5,7 @@
 types.m:017:   without preceding `pred' declaration.
 types.m:020: Error: clause for predicate `types:a/1'
 types.m:020:   without preceding `pred' declaration.
-types.m:005: Error: no clauses for predicate `types:p/1'
+types.m:005: Error: no clauses for predicate `types:p/1'.
 types.m:012: In clause for predicate `types:q/0':
 types.m:012:   error: undefined predicate `zzzzzzzz/0'.
 types.m:013: In clause for predicate `types:q/0':
@@ -20,7 +20,7 @@
 types.m:039:   and constant `0'.
 types.m:039:   variable `X' has type `BarTypeParam',
 types.m:039:   constant `0' has type `int'.
-types.m:050: Error: no clauses for predicate `types:bar2/1'
+types.m:050: Error: no clauses for predicate `types:bar2/1'.
 types.m:018: In clause for predicate `types:r/0':
 types.m:018:   error: undefined predicate `s/0'.
 types.m:020: In clause for predicate `types:a/1':

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