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


Ignore:
Timestamp:
Nov 30, 2007 4:15:22 PM (8 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/RecompilationAvoidance

    v2 v3  
    55When GHC is compiling a module, it tries to determine early on whether
    66
    7  * The object file and [wiki:Commentary/Compiler/IfaceFiles interface file] exist from a previous compilation
     7 * The object file (or byte-code in the case of GHCi) and [wiki:Commentary/Compiler/IfaceFiles interface file] exist from a previous compilation
    88 * Recompilation is sure to produce exactly the same results, so it
    99   is not necessary.
    1010
    11 If both of these hold, GHC stops compilation early.
     11If both of these hold, GHC stops compilation early, because the existing object code and interface are still valid.  In GHCi and `--make`, we must generate the `ModDetails` from the `ModIface`, but this is easily done by calling `MkIface.typecheckIface`.
    1212
    1313== Example ==