[m-rev.] diff: update outdated error message

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main, release

compiler/typecheck.m:
	Update an outdated error message: suggest using "with_type"
	for explicit type qualifications.

Workspace: /home/mars/fjh/ws1/mercury
Index: compiler/typecheck.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/typecheck.m,v
retrieving revision 1.300
diff -u -d -r1.300 typecheck.m
--- compiler/typecheck.m	2001/04/07 14:04:59	1.300
+++ compiler/typecheck.m	2001/04/30 10:57:35
@@ -5938,11 +5938,14 @@
 		prog_out__write_context(Context),
 		io__write_string("  Try adding explicit module qualifiers.\n")
 	; { VerboseErrors = yes } ->
-		io__write_string("\tYou will need to add an explicit type qualification to resolve the\n"),
-		io__write_string("\ttype ambiguity.\n"),
-		io__write_string("\tThe way to add an explicit type qualification\n"),
-		io__write_string("\tis to insert a call to a dummy predicate whose `:- pred'\n"),
-		io__write_string("\tdeclaration specifies the appropriate argument types.\n")
+		io__write_strings([
+"\tYou will need to add an explicit type qualification to resolve the\n",
+"\ttype ambiguity.\n",
+"\tThe way to add an explicit type qualification is to use ""with_type"".\n",
+"\tFor details see the ""Explicit type qualification"" sub-section\n",
+"\tof the ""Data-terms"" section of the ""Syntax"" chapter\n",
+"\tof the Mercury langauge reference manual.\n"
+		])
 	;
 		[]
 	).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------