[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