[commit: ghc] ghc-july: Add cost semantics for STG profiling. (0af1b73)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-july
Link       : http://ghc.haskell.org/trac/ghc/changeset/0af1b73e10ccb232af568cda5acf59e5ab1eaa85/ghc

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

commit 0af1b73e10ccb232af568cda5acf59e5ab1eaa85
Author: Edward Z. Yang <ezyang at cs.stanford.edu>
Date:   Tue Jan 27 10:43:57 2015 -0800

    Add cost semantics for STG profiling.
    
    Signed-off-by: Edward Z. Yang <ezyang at cs.stanford.edu>


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

0af1b73e10ccb232af568cda5acf59e5ab1eaa85
 docs/stg-spec/.gitignore              |   5 +
 docs/stg-spec/CostSem.ott             | 122 +++++++++++++++++++++
 docs/{core-spec => stg-spec}/Makefile |   6 +-
 docs/stg-spec/StgSyn.ott              | 105 ++++++++++++++++++
 docs/stg-spec/stg-spec.mng            | 200 ++++++++++++++++++++++++++++++++++
 5 files changed, 435 insertions(+), 3 deletions(-)

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

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 0af1b73e10ccb232af568cda5acf59e5ab1eaa85