Changes between Version 9 and Version 10 of GhcApiStatus


Ignore:
Timestamp:
May 27, 2008 8:50:20 AM (7 years ago)
Author:
sseefried
Comment:

Fixed (possibly!) a small typo in type AST Phase1 -> AST Phase3. Should be AST Phase1 -> AST Phase2

Legend:

Unmodified
Added
Removed
Modified
  • GhcApiStatus

    v9 v10  
    1212
    1313 * Using the API should be fairly self-explainatory and safe.  I.e., where necessary inputs are checked for invariants and there should be no implicit dependencies.  More concretely:
    14    * If several phases use the same AST, the AST will contain a type parameter which corresponds to the phases that have been performed with it.  Hence, if a function requires input of type {{{AST Phase3}}} then it is clear that the phases with types {{{AST Phase2 -> AST Phase3}}} and {{{AST Phase1 -> AST Phase3}}} must be performed first.
     14   * If several phases use the same AST, the AST will contain a type parameter which corresponds to the phases that have been performed with it.  Hence, if a function requires input of type {{{AST Phase3}}} then it is clear that the phases with types {{{AST Phase2 -> AST Phase3}}} and {{{AST Phase1 -> AST Phase2}}} must be performed first.
    1515   * GHC uses some evil hacks to simulate global variables but has some implicit assumptions when those are actually accessible.  If you call a function too early, ie., before a certain variable is initialised, GHC will die with a very unhelpful error message.  I hope to make as many of those dependencies explicit and encode those dependencies via the API (mostly via types).
    1616