Changes between Version 13 and Version 14 of Commentary/Pipeline

Timestamp:

09/14/06 10:57:59 (7 years ago)

Author:

guest

Comment:

--

Commentary/Pipeline

@@ -23 +23 @@
 An '''interface file''' supports separate compilation by recording the information gained by compiling {{{M.hs}}} in its interface file {{{M.hi}}}.  Morally speaking, the interface file {{{M.hi}}} is part of the object file {{{M.o}}}; it's like a super symbol-table for {{{M.o}}}.
 
-Interface files are kept in binary, GHC-specific format.  The format of these files changes with each GHC release, but not with patch-level releases.  The format of an interface file can be determined by examining {{{compiler/iface/IfaceSyn}}} and {{{compiler/iface/IfaceType}}}.  An informal description suitable for a person (not for machine parsing) can be found thus:
+Interface files are kept in binary, GHC-specific format.  The format of these files changes with each GHC release, but not with patch-level releases.  The format of an interface file can be determined by examining {{{compiler/iface/IfaceSyn}}} and {{{compiler/iface/IfaceType}}}.  An informal description of a particular file, suitable for a person (not for machine parsing), can be found thus:
 {{{
   ghc --show-iface M.hi