Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/81b7e5873f97c9e34aaf77e3591add04bd2a2ad4 >--------------------------------------------------------------- commit 81b7e5873f97c9e34aaf77e3591add04bd2a2ad4 Author: Richard Eisenberg <e...@cis.upenn.edu> 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 _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
