[m-rev.] trivial diff: fix failing test cases

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

compiler/typecheck.m:
	Back out my change to the formatting of error messages
	about missing clauses - it wasn't correct.

tests/invalid/types.err_exp2:
	Update the expected output of this test case to take
	account of the fact that we now check for for definitions
	corresponding to abstract type declarations.

Julien.

Index: compiler/typecheck.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/typecheck.m,v
retrieving revision 1.371
diff -u -r1.371 typecheck.m
--- compiler/typecheck.m	22 Apr 2005 08:08:19 -0000	1.371
+++ compiler/typecheck.m	23 Apr 2005 06:15:57 -0000
@@ -5157,7 +5157,7 @@
 report_no_clauses(MessageKind, PredId, PredInfo, ModuleInfo, !IO) :-
 	pred_info_context(PredInfo, Context),
 	PredPieces = describe_one_pred_name(ModuleInfo,
-		should_module_qualify, PredId),
+		should_not_module_qualify, PredId),
 	ErrorMsg = [words(MessageKind ++ ": no clauses for ") | PredPieces] ++
 		[suffix(".")],
 	error_util__write_error_pieces(Context, 0, ErrorMsg, !IO).
Index: tests/invalid/types.err_exp2
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/types.err_exp2,v
retrieving revision 1.8
diff -u -r1.8 types.err_exp2
--- tests/invalid/types.err_exp2	14 May 2004 08:40:32 -0000	1.8
+++ tests/invalid/types.err_exp2	23 Apr 2005 06:22:37 -0000
@@ -25,4 +25,6 @@
 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:048: Error: abstract declaration for type `types.t'/2 has no
+types.m:048:   corresponding definition.
 For more information, try recompiling with `-E'.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------