Changes between Version 3 and Version 4 of Commentary/Compiler/RecompilationAvoidance

Timestamp:

11/30/07 08:20:48 (5 years ago)

Author:

simonmar

Comment:

--

Commentary/Compiler/RecompilationAvoidance

@@ -119 +119 @@
 recompilation checker was designed, because the make dependencies were
 generated by a separate Perl script, which worked by simply grepping
-for `import`.
+for `import`.  We consider this option later.
 
 In addition to correctness (recompile when necessary), we also want to
-aim to reduce the amount of unnecessary recompilation that happens.
+avoid unnecessary recompilation as far as possible.
 Make only knows about very coarse-grained dependencies.  For example,
 it doesn't know that changing the type of `D.f` can have no effect on
@@ -133 +133 @@
 == How does it work? ==
 
-An interface file contains:
+An [wiki:Commentary/Compiler/IfaceFile interface file] contains:
 
  * The module ''version'' (more about this below)