[m-rev.] diff: fix failing state variable tests

[Julien Fischer]

Estimated hours taken: 0.5
Branches: main

compiler/make_hlds.m:
	Zoltan's recent change to state variables
	changed the formatting of some error messages and caused
	some of the nightly tests to fail.

Julien.

Index: make_hlds.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/make_hlds.m,v
retrieving revision 1.483
diff -u -r1.483 make_hlds.m
--- make_hlds.m	19 Oct 2004 22:13:48 -0000	1.483
+++ make_hlds.m	21 Oct 2004 05:01:10 -0000
@@ -10403,7 +10403,7 @@
 	report_error(string__format("\
 cannot use !:%s in this context;", [s(Name)]), !IO),
 	prog_out__write_context(Context, !IO),
-	io__format("however !.%s may be used here.\n", [s(Name)], !IO).
+	io__format("  however !.%s may be used here.\n", [s(Name)], !IO).

 %-----------------------------------------------------------------------------%

@@ -10440,7 +10440,7 @@
 	report_error(string__format("!%s cannot be a function result.",
 		[s(Name)]), !IO),
 	prog_out__write_context(Context, !IO),
-	io__format("You probably meant !.%s or !:%s.\n", [s(Name), s(Name)],
+	io__format("  You probably meant !.%s or !:%s.\n", [s(Name), s(Name)],
   		!IO).

 %-----------------------------------------------------------------------------%
@@ -10454,7 +10454,7 @@
 	report_error(string__format("!%s cannot be a lambda argument.",
 		[s(Name)]), !IO),
 	prog_out__write_context(Context, !IO),
-	io__format("Perhaps you meant !.%s or !:%s.\n",
+	io__format("  Perhaps you meant !.%s or !:%s.\n",
 		[s(Name), s(Name)], !IO).

 %-----------------------------------------------------------------------------%

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