[commit: ghc] master: Added GHC formalism to the GHC source tree. (81b7e58)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/81b7e5873f97c9e34aaf77e3591add04bd2a2ad4

>---------------------------------------------------------------

commit 81b7e5873f97c9e34aaf77e3591add04bd2a2ad4
Author: Richard Eisenberg <[email protected]>
Date:   Sat Dec 1 11:06:02 2012 -0500

    Added GHC formalism to the GHC source tree.
    
    As per a request from Simon PJ, I wrote up a formalism of the core
    language in GHC, System FC. The writeup lives in docs/core-spec.
    I also added comments to a number of files dealing with the core
    language reminding authors to update the formalism when updating the
    code. In the next commit will be a README file in docs/core-spec
    with more details of how to do this.

 compiler/coreSyn/CoreLint.lhs |   49 +++++-
 compiler/coreSyn/CoreSyn.lhs  |   20 ++
 compiler/prelude/TysPrim.lhs  |    2 +
 compiler/types/Coercion.lhs   |    4 +
 compiler/types/Kind.lhs       |    5 +
 compiler/types/TyCon.lhs      |    6 +
 compiler/types/Type.lhs       |    2 +
 compiler/types/TypeRep.lhs    |    3 +
 docs/core-spec/.gitignore     |    5 +
 docs/core-spec/CoreLint.ott   |  402 +++++++++++++++++++++++++++++++++++++++++
 docs/core-spec/CoreSyn.ott    |  283 +++++++++++++++++++++++++++++
 docs/core-spec/Makefile       |   17 ++
 docs/core-spec/core-spec.mng  |  306 +++++++++++++++++++++++++++++++
 docs/core-spec/core-spec.pdf  |  Bin 0 -> 303537 bytes
 14 files changed, 1103 insertions(+), 1 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 81b7e5873f97c9e34aaf77e3591add04bd2a2ad4