[commit: ghc] wip/14691: Trying to add EvTypeable back to to EvTerm (checkpoint) (1dd450d)
git at git.haskell.org
git at git.haskell.org
Mon Jan 22 22:59:32 UTC 2018
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
More information about the ghc-commits
mailing list