trivial diff: bug fixes for termination options help

Fergus Henderson fjh at cs.mu.oz.au
Tue Oct 14 19:08:13 AEST 1997


compiler/options.m:
	Fix some bugs in the formatting of the help message for the
	termination options.

cvs diff  compiler/options.m
Index: compiler/options.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/options.m,v
retrieving revision 1.207
diff -u -r1.207 options.m
--- options.m	1997/10/09 09:39:02	1.207
+++ options.m	1997/10/14 08:57:11
@@ -1446,12 +1446,9 @@
 %	io__write_string("\t--trans-intermod-opt\n"),
 %	io__write_string("\t\tImport the transitive intermodule optimization data.\n"),
 %	io__write_string("\t\tThis data is imported from <module>.trans_opt files.\n"),
-	io__write_string("\t--enable-termination"),
-	io__write_string("\t--enable-term"),
+	io__write_string("\t--enable-term, --enable-termination\n"),
 	io__write_string("\t\tAnalyse each predicate to discover if it terminates.\n"),
-	io__write_string("\t--check-termination"),
-	io__write_string("\t--check-term"),
-	io__write_string("\t--chk-term"),
+	io__write_string("\t--chk-term, --check-term, --check-termination\n"),
 	io__write_string("\t\tEnable termination analysis, and emit warnings for some\n"),
 	io__write_string("\t\tpredicates or functions that cannot be proved to terminate.  In\n"),
 	io__write_string("\t\tmany cases where the compiler is unable to prove termination\n"),
@@ -1460,12 +1457,10 @@
 	io__write_string("\t\tconstructs (such as higher order calls) were used which could\n"),
 	io__write_string("\t\tnot be analysed.  In these cases the compiler does not emit a\n"),
 	io__write_string("\t\twarning of non-termination, as it is likely to be spurious.\n"),
-	io__write_string("\t--verbose-check-termination"),
-	io__write_string("\t--verb-check-term"),
-	io__write_string("\t--verb-chk-term"),
+	io__write_string("\t--verb-chk-term, --verb-check-term, --verbose-check-termination\n"),
 	io__write_string("\t\tEnable termination analysis, and emit warnings for all\n"),
 	io__write_string("\t\tpredicates or functions that cannot be proved to terminate.\n"),
-	io__write_string("\t--termination-norm {simple, total, num-data-elems}"),
+	io__write_string("\t--termination-norm {simple, total, num-data-elems}\n"),
 	io__write_string("\t\tThe norm defines how termination analysis measures the size\n"),
 	io__write_string("\t\tof a memory cell. The simple norm says that size is always one.\n"),
 	io__write_string("\t\tThe total norm says that it is the number of words in the cell.\n"),

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



More information about the developers mailing list