[commit: ghc] wip/ttypeable: Genealize arrow (350caf3)

[git at git.haskell.org]

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

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/350caf3e2fffba933450999d7f60347d6ee450ee/ghc

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

commit 350caf3e2fffba933450999d7f60347d6ee450ee
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Wed Feb 1 20:25:33 2017 -0500

    Genealize arrow


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

350caf3e2fffba933450999d7f60347d6ee450ee
 compiler/coreSyn/CoreFVs.hs                        |   1 +
 compiler/coreSyn/CoreLint.hs                       |  33 ++++-
 compiler/coreSyn/CoreSubst.hs                      |   4 +-
 compiler/coreSyn/TrieMap.hs                        |   6 +-
 compiler/iface/ToIface.hs                          |   6 +-
 compiler/prelude/TysPrim.hs                        |  27 ++--
 compiler/specialise/Rules.hs                       |   7 +
 compiler/typecheck/TcCanonical.hs                  |  23 ++-
 compiler/typecheck/TcSMonad.hs                     |   4 +-
 compiler/typecheck/TcTyDecls.hs                    |   1 +
 compiler/typecheck/TcType.hs                       |  73 ++++++++--
 compiler/typecheck/TcUnify.hs                      |   3 +
 compiler/typecheck/TcValidity.hs                   |   1 +
 compiler/types/Coercion.hs                         | 119 ++++++++++++---
 compiler/types/Coercion.hs-boot                    |   6 +-
 compiler/types/FamInstEnv.hs                       |   1 +
 compiler/types/OptCoercion.hs                      |   9 ++
 compiler/types/TyCoRep.hs                          |  24 ++-
 compiler/types/TyCon.hs                            |   4 +-
 compiler/types/Type.hs                             | 161 ++++++++++++++++-----
 compiler/types/Unify.hs                            |  20 ++-
 libraries/base/tests/all.T                         |   2 +-
 testsuite/tests/ghci/scripts/T8535.stdout          |   2 +-
 testsuite/tests/ghci/scripts/ghci020.stdout        |   2 +-
 testsuite/tests/ghci/should_run/T10145.stdout      |   2 +-
 .../partial-sigs/should_compile/T10403.stderr      |   3 +-
 testsuite/tests/perf/compiler/all.T                |   3 +-
 testsuite/tests/typecheck/should_compile/all.T     |   1 +
 .../tests/typecheck/should_fail/tcfail181.stderr   |   5 +-
 29 files changed, 446 insertions(+), 107 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 350caf3e2fffba933450999d7f60347d6ee450ee