[m-rev.] for review: smart recompilation

Simon Taylor stayl at cs.mu.OZ.AU
Wed Jun 27 01:58:22 AEST 2001


On 23-Jun-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 28-May-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > Index: compiler/recompilation.m

> I suggest you swap the order of the two paragraphs above.
> 
> Also, there should be some comments explaining what this module is for,
> e.g. as you have in the cvs log message.

Done.

I'll commit this tomorrow unless anyone complains loudly. I need parts of
it for my work on an mmake replacement.

Simon.

--- recompilation.m	2001/06/26 15:46:51	1.3
+++ recompilation.m	2001/06/26 15:48:48
@@ -6,17 +6,18 @@
 % File: recompilation.m
 % Main author: stayl
 %
-% Smart recompilation.
-%
-% Currently smart recompilation does not work properly with
-% inter-module optimization. If a `.opt' file changes, all modules
-% importing it need to be recompiled.
+% Type declarations for smart recompilation.
+% Predicates to record program items used by a compilation.
 %
 % A module must be recompiled if
 % - The file itself has changed.
 % - An imported item used in compiling the module has changed or been removed.
 % - An item has been added to an imported module which could cause an
 %   ambiguity with an item used in compiling the module.
+%
+% Currently smart recompilation does not work properly with
+% inter-module optimization. If a `.opt' file changes, all modules
+% importing it need to be recompiled.
 %
 %-----------------------------------------------------------------------------%
 :- module recompilation.
--------------------------------------------------------------------------
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