[commit: ghc] wip/14691: Trying to add EvTypeable back to to EvTerm (checkpoint) (1dd450d)

[git at git.haskell.org]

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

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

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

commit 1dd450d62bd1dafa3f0bb9de7cc840c4810457a2
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Mon Jan 22 17:06:19 2018 -0500

    Trying to add EvTypeable back to to EvTerm (checkpoint)
    
    but without the other constructors.
    
    This is trying to include an EvCallStack constructor, but it turns out
    that `solveCallStack` in `TcCanonical` tries to wrap that in an
    `mkEvCast`. So lets defer this casting until the desugarer runs.


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

1dd450d62bd1dafa3f0bb9de7cc840c4810457a2
 compiler/deSugar/DsBinds.hs       |  50 ++-------
 compiler/deSugar/Match.hs         |   4 +-
 compiler/ghc.cabal.in             |   1 +
 compiler/typecheck/Inst.hs        |   6 +-
 compiler/typecheck/TcCanonical.hs |  34 +++---
 compiler/typecheck/TcErrors.hs    |   3 +-
 compiler/typecheck/TcEvTerm.hs    |  31 ++++++
 compiler/typecheck/TcEvidence.hs  | 218 +++++++++++++++-----------------------
 compiler/typecheck/TcFlatten.hs   |   2 +-
 compiler/typecheck/TcHsSyn.hs     |  32 +-----
 compiler/typecheck/TcInstDcls.hs  |   2 +-
 compiler/typecheck/TcInteract.hs  | 118 +++++++++++++++------
 compiler/typecheck/TcMType.hs     |   2 +-
 compiler/typecheck/TcPatSyn.hs    |   8 +-
 compiler/typecheck/TcRnTypes.hs   |   6 +-
 compiler/typecheck/TcSMonad.hs    |  19 ++--
 16 files changed, 262 insertions(+), 274 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 1dd450d62bd1dafa3f0bb9de7cc840c4810457a2