[commit: ghc] master: Document the maintenance of the let/app invariant in the simplifier (db17d58)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/db17d58dc4c43de155022909bfae7263d7870d0a/ghc

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

commit db17d58dc4c43de155022909bfae7263d7870d0a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Aug 4 16:37:57 2014 +0100

    Document the maintenance of the let/app invariant in the simplifier
    
    It's not obvious why the simplifier generates code that correctly satisfies
    the let/app invariant.   This patch does some minor refactoring, but the main
    point is to document pre-conditions to key functions, namely that the rhs
    passed in satisfies the let/app invariant.
    
    There shouldn't be any change in behaviour.


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

db17d58dc4c43de155022909bfae7263d7870d0a
 compiler/coreSyn/CoreSyn.lhs      |  5 ++-
 compiler/simplCore/SimplEnv.lhs   | 81 +++++++++++++++++++--------------------
 compiler/simplCore/SimplUtils.lhs |  8 ++++
 compiler/simplCore/Simplify.lhs   | 23 ++++++++---
 4 files changed, 68 insertions(+), 49 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 db17d58dc4c43de155022909bfae7263d7870d0a