[commit: ghc] wip/14691: Trying to add EvTypeableTyLit back to to EvTerm (broken checkpoint) (bba40d1)

[git at git.haskell.org]

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

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

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

commit bba40d1a28aa4d559af43c2ff0538f18e55cb720
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Jan 22 15:12:16 2018 -0500

    Trying to add EvTypeableTyLit back to to EvTerm (broken checkpoint)
    
    but this means that an EvTerm can no longer occur nested in an CoreExpr
    representing an EvTerm, so this approach is kinda doomed.


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

bba40d1a28aa4d559af43c2ff0538f18e55cb720
 compiler/deSugar/DsBinds.hs       | 108 +++++++++++++++++++++-----------------
 compiler/typecheck/Inst.hs        |   4 +-
 compiler/typecheck/TcCanonical.hs |   4 +-
 compiler/typecheck/TcEvTerm.hs    |  47 +----------------
 compiler/typecheck/TcEvidence.hs  |  74 ++++++++++++++++++++------
 compiler/typecheck/TcFlatten.hs   |   2 +-
 compiler/typecheck/TcHsSyn.hs     |  28 ++++++++--
 compiler/typecheck/TcRnTypes.hs   |   4 +-
 compiler/typecheck/TcSMonad.hs    |   2 +-
 9 files changed, 152 insertions(+), 121 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 bba40d1a28aa4d559af43c2ff0538f18e55cb720