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


Ignore:
Timestamp:
Nov 30, 2007 4:15:22 PM (6 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 ==