[m-rev.] diff: minor fix to intermod.m

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Apr 18 17:29:19 AEST 2001


Estimated hours taken: 0.25
Branches: main

compiler/intermod.m:
	Fix a minor bug: the "% done" message for reading a `.opt' file
	was being printed before the `.opt' file had actually been read.

Workspace: /home/mars/fjh/ws2/mercury
Index: compiler/intermod.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/intermod.m,v
retrieving revision 1.97
diff -u -d -r1.97 intermod.m
--- compiler/intermod.m	2001/04/07 14:04:42	1.97
+++ compiler/intermod.m	2001/04/18 07:24:53
@@ -2190,16 +2190,16 @@
 		maybe_write_string(VeryVerbose, " `"),
 		{ prog_out__sym_name_to_string(Import, ImportString) },
 		maybe_write_string(VeryVerbose, ImportString),
-		maybe_write_string(VeryVerbose, "'... "),
+		maybe_write_string(VeryVerbose, "'...\n"),
 		maybe_flush_output(VeryVerbose),
-		maybe_write_string(VeryVerbose, "% done.\n"),
 
 		module_name_to_file_name(Import, ".opt", no, FileName),
 		prog_io__read_opt_file(FileName, Import, yes,
 				ModuleError, Messages, Items1),
 		update_error_status(opt, FileName, ModuleError, Messages,
 				Error0, Error1),
-		{ list__append(Items0, Items1, Items2) }
+		{ list__append(Items0, Items1, Items2) },
+		maybe_write_string(VeryVerbose, "% done.\n")
 	),
 	read_optimization_interfaces(Imports, Items2, Items, Error1, Error).
 

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



More information about the reviews mailing list