[commit: ghc] wip/tdammers/D4394-squash: Cache coercion roles in NthCo (99ff72b)

[git at git.haskell.org]

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

On branch  : wip/tdammers/D4394-squash
Link       : http://ghc.haskell.org/trac/ghc/changeset/99ff72b2de1765afe5f2719d47908e87728c354b/ghc

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

commit 99ff72b2de1765afe5f2719d47908e87728c354b
Author: Tobias Dammers <tdammers at gmail.com>
Date:   Thu Jan 25 20:33:58 2018 +0100

    Cache coercion roles in NthCo
    
    Most callers of mkNthCo know the role of the coercion they
    are trying to make. So instead of calculating this role, we
    pass it in, forcing the caller to calculate it when needed.


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

99ff72b2de1765afe5f2719d47908e87728c354b
 compiler/coreSyn/CoreFVs.hs                      |   2 +-
 compiler/coreSyn/CoreLint.hs                     |   8 +-
 compiler/coreSyn/CoreOpt.hs                      |  24 +-
 compiler/coreSyn/CoreUtils.hs                    |   2 +-
 compiler/iface/TcIface.hs                        |   3 +-
 compiler/iface/ToIface.hs                        |   2 +-
 compiler/typecheck/TcCanonical.hs                |   2 +-
 compiler/typecheck/TcEvidence.hs                 |  12 +-
 compiler/typecheck/TcTyDecls.hs                  |   2 +-
 compiler/typecheck/TcType.hs                     |   4 +-
 compiler/typecheck/TcUnify.hs                    |   4 +-
 compiler/typecheck/TcValidity.hs                 |   2 +-
 compiler/types/Coercion.hs                       | 415 +++++++++++++++--------
 compiler/types/Coercion.hs-boot                  |   2 +-
 compiler/types/FamInstEnv.hs                     |   2 +-
 compiler/types/OptCoercion.hs                    | 103 +++---
 compiler/types/TyCoRep.hs                        |  39 ++-
 compiler/types/Type.hs                           |  20 +-
 compiler/types/Unify.hs                          |   4 +-
 docs/core-spec/CoreLint.ott                      |   4 +-
 docs/core-spec/CoreSyn.ott                       |   6 +-
 docs/core-spec/core-spec.mng                     |   2 +-
 docs/core-spec/core-spec.pdf                     | Bin 354307 -> 355707 bytes
 libraries/array                                  |   2 +-
 testsuite/tests/perf/compiler/all.T              |  13 +-
 testsuite/tests/perf/haddock/all.T               |   3 +-
 testsuite/tests/pmcheck/should_compile/T11195.hs |   2 +-
 27 files changed, 415 insertions(+), 269 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 99ff72b2de1765afe5f2719d47908e87728c354b