Changes between Version 2 and Version 3 of ExternalCore


Ignore:
Timestamp:
Oct 16, 2006 7:57:54 PM (9 years ago)
Author:
guest
Comment:

Fixed typos

Legend:

Unmodified
Added
Removed
Modified
  • ExternalCore

    v2 v3  
    1 
    2 
    31= The {{{ExternalCore}}} type =
    42
    5 The {{{ExternalCore}}} data type is used by GHC to communicate code represented in the [wiki:Commentary/Compiler/CoreSynType Core] data type with the outside world. It comes with an external syntax, a parser, a pretty printer, and code to convert between Core and External Core. Unfortunately, External Core has not been widely used, and the code has bit-rotted. The recent changes in Core to use [wiki:Commentary/Compiler/FC System FC] have exacerbated the problem. This page documents the process of getting ExternalCore and Core back in sync.
     3The {{{ExternalCore}}} data type is used by GHC to communicate code represented in the [wiki:Commentary/Compiler/CoreSynType Core] data type with the outside world. It comes with an external syntax, a parser, a pretty printer, and code to convert between Core and External Core. Unfortunately, External Core has not been widely used, and the code has bit-rotted. The recent changes in Core to use [wiki:Commentary/Compiler/FC System FC] have exacerbated the problem. This page documents the process of getting External Core and Core back in sync.
    64
    75
     
    108  * [[GhcFile(compiler/coreSyn/ExternalCore.lhs)]]: The definition of the External Core data type.
    119  * [[GhcFile(compiler/coreSyn/MkExternalCore.lhs)]]: Some code to convert Core to External Core.
    12   * [[GhcFile(compiler/coreSyn/PprExternalCore.lhs)]]: Some code to pretty-print ExternalCore.
     10  * [[GhcFile(compiler/coreSyn/PprExternalCore.lhs)]]: Some code to pretty-print External Core.
    1311  * [[GhcFile(compiler/parser/LexCore.hs)]]: The lexer for External Core.
    1412  * [[GhcFile(compiler/parser/ParserCore.y)]]: The parser for External Core.
    15   * [[GhcFile(compiler/parser/ParserCoreUtils.hs)]]: Some additional utility functions used by ParserCore.hs.
    16   * [[GhcFile(utils/ext-core/)]]:
     13  * [[GhcFile(compiler/parser/ParserCoreUtils.hs)]]: Some additional utility functions used by {{{ParserCore.hs}}}.
     14  * [[GhcFile(utils/ext-core/)]]: Old code intended as an executable specification of External Core.
    1715
    1816Other files that contain some reference to External Core or are otherwise relevant:
     
    2422== Documentation ==
    2523  * [http://research.microsoft.com/~simonpj/papers/ext-f]: Description of the System FC language which GHC now uses internally.
    26   * [[GhcFile(docs/ext-core/)]]: The current documentation for ExternalCore, which should eventually become a chapter in the [http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html GHC User's Guide].
     24  * [[GhcFile(docs/ext-core/)]]: The current documentation for External Core, which should eventually become a chapter in the [http://www.haskell.org/ghc/docs/latest/html/users_guide/index.html GHC User's Guide].
    2725  * [http://www.haskell.org/ghc/docs/latest/html/users_guide/ext-core.html]: What the User's Guide currently has to say about External Core.
    2826
     
    3331== Tasks ==
    3432
    35   * Update the ExternalCore data type to be compatible with the current Core data type.
    36   * Define an external text representation for ExternalCore (which will probably be simply a minor modification of the old format)
     33  * Update the External Core data type to be compatible with the current Core data type.
     34  * Define an external text representation for External Core (which will probably be simply a minor modification of the old format)
    3735  * Update {{{LexCore.hs}}}, {{{ParserCore.y}}}, and {{{ParserCoreUtils.hs}}} to support the new data type and external syntax.
    38   * Update {{{MkExternalCore.lhs}}} to support both the current Core and the new ExternalCore.
     36  * Update {{{MkExternalCore.lhs}}} to support both the current Core and the new External Core.
    3937  * Update {{{PprExternalCore.lhs}}} to print stuff that {{{LexCore}}} and {{{ParserCore}}} can understand.
    4038  * Convert the current External Core documentation (in LaTeX) into a chapter (in XML) in the User's Guide.