[commit: ghc] wip/14691: Start over with #14691 and only add EvExpr to EvTerm (9ea4186)

[git at git.haskell.org]

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

On branch  : wip/14691
Link       : http://ghc.haskell.org/trac/ghc/changeset/9ea4186fa8f90212884eba50888d58fa80e49e13/ghc

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

commit 9ea4186fa8f90212884eba50888d58fa80e49e13
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Jan 22 15:35:24 2018 -0500

    Start over with #14691 and only add EvExpr to EvTerm
    
    this can be useful for typechecker plugins, without disrupting the
    architecture of where Typeable evidence is created in the desgurar, not
    the typechecker.
    
    Some of the non-recursive constructors, such as `EvDelayedError` or
    `EvLit`, could possibly be dropped in favor of storing the `CoreExpr`
    directory. But there is not much to be gained from that.


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

9ea4186fa8f90212884eba50888d58fa80e49e13
 compiler/deSugar/Desugar.hs       |   2 +-
 compiler/deSugar/DsBinds.hs       |  37 ++++++-
 compiler/deSugar/DsExpr.hs        |   4 +-
 compiler/deSugar/Match.hs         |   4 +-
 compiler/deSugar/MatchCon.hs      |   2 +-
 compiler/ghc.cabal.in             |   1 -
 compiler/typecheck/Inst.hs        |   4 +-
 compiler/typecheck/TcCanonical.hs |  26 +++--
 compiler/typecheck/TcErrors.hs    |   3 +-
 compiler/typecheck/TcEvTerm.hs    |  31 ------
 compiler/typecheck/TcEvidence.hs  | 217 +++++++++++++++++++++++---------------
 compiler/typecheck/TcFlatten.hs   |   2 +-
 compiler/typecheck/TcHsSyn.hs     |  32 +++++-
 compiler/typecheck/TcInteract.hs  |  97 ++++-------------
 compiler/typecheck/TcPatSyn.hs    |   2 +-
 compiler/typecheck/TcRnTypes.hs   |   4 +-
 compiler/typecheck/TcSMonad.hs    |   9 +-
 17 files changed, 243 insertions(+), 234 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 9ea4186fa8f90212884eba50888d58fa80e49e13