[m-rev.] [reuse] diff: --promise-no-modified-source-files

[Peter Ross]

On Fri, Mar 23, 2001 at 10:45:54AM +1100, Fergus Henderson wrote:
> On 22-Mar-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> > +		"--promise-no-modified-source-files",
> > +		"\tPromise that no source files have been modified.
> 
> No source files have been modified?
> None, ever?
> That seems like a hard thing to promise.
> 
Didn't you know that by writing it in Mercury, there are no possible
bugs, and all possible enhancement requests are automatically generated
by the compiler. ;)

> If this is supposed to only promise that certain source files
> have not been modified during a certain time period, then
> the documentation should clearly define which files and what
> time period the promise relates to.
> 
Good point, no source files have been modified since the last
compilation.  Here is the change 

===================================================================


Estimated hours taken: 0.1
Branches: reuse

compiler/options.m:
    Update the documentation of --promise-no-modified-source-files to
    indicate since when the source files have not been modified.


Index: options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.288.2.13
diff -u -r1.288.2.13 options.m
--- options.m	2001/03/22 13:26:29	1.288.2.13
+++ options.m	2001/03/23 09:28:46
@@ -2428,8 +2428,9 @@
 		"\te.g. those for the standard library, but do",
 		"\tnot build any others.",
 		"--promise-no-modified-source-files",
-		"\tPromise that no source files have been modified. This",
-		"|t allows the compiler to propagate more information",
+		"\tPromise that no source files have been modified since",
+		"\tthe last compilation. This",
+		"\tallows the compiler to propagate more information",
 		"\tduring intermodule optimization.",
 		"\tTouch any source files and rebuild",
 		"\t(repeatedly) to gain more optimization. Modifying a",

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