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


Ignore:
Timestamp:
Feb 16, 2011 11:04:48 PM (3 years ago)
Author:
dterei
Comment:

Add note of where ModIface? lives.

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/IfaceFiles

    v3 v4  
    1414 * A list of what {{{M}}} exports. 
    1515 * The types of exported functions, definition of exported types, and so on. 
    16  * Version information, used to drive the [wiki:Commentary/Compiler/RecompilationAvoidance smart recompilation checker]. 
     16 * Version information, used to drive the [wiki:Commentary/Compiler/RecompilationAvoidance recompilation checker]. 
    1717 * The strictness, arity, and unfolding of exported functions.  This is crucial for cross-module optimisation; but it is only included when you compile with {{{-O}}}. 
    1818 
    19 The contents of an interface file is the result of serialising the '''{{{IfaceSyn}}}''' family of data types.  The data types are in [[GhcFile(compiler/iface/IfaceSyn.lhs)]] and [[GhcFile(compiler/iface/IfaceType.lhs)]]; the binary serialisation code is in [[GhcFile(compiler/iface/BinIface.hs)]]. 
     19The contents of an interface file is the result of serialising the '''{{{IfaceSyn}}}''' family of data types.  The data types are in [[GhcFile(compiler/iface/IfaceSyn.lhs)]] and [[GhcFile(compiler/iface/IfaceType.lhs)]]; the binary serialisation code is in [[GhcFile(compiler/iface/BinIface.hs)]]. The definition of a module interface is the '''{{{ModIface}}}''' data type in [[GhcFile(compiler/main/HscTypes.lhs)]].