[commit: ghc] wip/ttypeable: Type-indexed Typeable (7b7c77b)

[git at git.haskell.org]

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

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/7b7c77b92f20cdd0c5f36d820f085dd9eb5090f4/ghc

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

commit 7b7c77b92f20cdd0c5f36d820f085dd9eb5090f4
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Thu Feb 2 01:29:26 2017 -0500

    Type-indexed Typeable


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

7b7c77b92f20cdd0c5f36d820f085dd9eb5090f4
 compiler/backpack/RnModIface.hs                    |   3 +
 compiler/basicTypes/OccName.hs                     |  12 +-
 compiler/coreSyn/CoreLint.hs                       |   2 +-
 compiler/deSugar/DsBinds.hs                        | 101 +--
 compiler/prelude/KnownUniques.hs                   |  47 +-
 compiler/prelude/PrelNames.hs                      | 149 +++-
 compiler/prelude/THNames.hs                        |  32 +-
 compiler/prelude/TysPrim.hs                        |   1 +
 compiler/prelude/TysWiredIn.hs                     |   4 +-
 compiler/rename/RnSource.hs                        |  29 +-
 compiler/typecheck/TcBackpack.hs                   |   4 +-
 compiler/typecheck/TcEvidence.hs                   |  19 +-
 compiler/typecheck/TcHsSyn.hs                      |  12 +-
 compiler/typecheck/TcInteract.hs                   |  50 +-
 compiler/typecheck/TcRnDriver.hs                   |   6 +-
 compiler/typecheck/TcSMonad.hs                     |   9 +-
 compiler/typecheck/TcTypeable.hs                   | 450 ++++++++++---
 compiler/types/Kind.hs                             |  14 +-
 compiler/types/TyCon.hs                            |   6 +-
 compiler/types/Type.hs                             |   4 +-
 compiler/types/Type.hs-boot                        |   5 +
 compiler/utils/Binary.hs                           | 176 ++++-
 compiler/utils/Fingerprint.hsc                     |   1 +
 libraries/base/Data/Dynamic.hs                     |  55 +-
 libraries/base/Data/Type/Equality.hs               |   6 +
 libraries/base/Data/Typeable.hs                    | 225 +++++--
 libraries/base/Data/Typeable/Internal.hs           | 746 ++++++++++++++-------
 libraries/base/GHC/Conc/Sync.hs                    |   4 -
 libraries/base/GHC/Show.hs                         |   4 +-
 libraries/base/Type/Reflection.hs                  |  42 ++
 libraries/base/Type/Reflection/Unsafe.hs           |  22 +
 libraries/base/base.cabal                          |   4 +-
 libraries/base/tests/T11334a.stdout                |   2 +-
 libraries/base/tests/all.T                         |   2 +-
 libraries/base/tests/dynamic002.hs                 |   5 +
 libraries/base/tests/dynamic002.stdout             |   2 +-
 libraries/base/tests/dynamic004.hs                 |   1 -
 libraries/ghc-boot/GHC/Serialized.hs               |  15 +-
 libraries/ghc-prim/GHC/Classes.hs                  |   8 +-
 libraries/ghc-prim/GHC/Types.hs                    |  40 +-
 libraries/ghci/GHCi/Message.hs                     |   6 +-
 libraries/ghci/GHCi/TH/Binary.hs                   | 170 +++++
 .../tests/deSugar/should_compile/T2431.stderr      |  98 ++-
 .../tests/dependent/should_compile/RaeJobTalk.hs   |  52 +-
 testsuite/tests/dependent/should_compile/T11711.hs |  10 +-
 .../dependent/should_compile/dynamic-paper.hs      |  16 +-
 .../tests/ghci.debugger/scripts/print019.stderr    |   6 +-
 testsuite/tests/patsyn/should_compile/T12698.hs    |   2 +-
 testsuite/tests/perf/should_run/all.T              |   3 +-
 testsuite/tests/polykinds/T8132.hs                 |   5 +-
 testsuite/tests/polykinds/T8132.stderr             |   2 +-
 testsuite/tests/roles/should_compile/Roles1.stderr | 128 +++-
 .../tests/roles/should_compile/Roles13.stderr      | 144 +++-
 .../tests/roles/should_compile/Roles14.stderr      |  18 +-
 testsuite/tests/roles/should_compile/Roles2.stderr |  36 +-
 testsuite/tests/roles/should_compile/Roles3.stderr |  77 ++-
 testsuite/tests/roles/should_compile/Roles4.stderr |  38 +-
 testsuite/tests/roles/should_compile/T8958.stderr  |  68 +-
 .../tests/safeHaskell/unsafeLibs/GoodImport03.hs   |   3 +-
 .../tests/simplCore/should_compile/T7360.stderr    | 141 ++--
 .../tests/simplCore/should_compile/T8274.stdout    |  25 +-
 testsuite/tests/th/TH_Roles2.stderr                |  12 +-
 .../should_fail/TcStaticPointersFail02.stderr      |   4 +-
 .../typecheck/should_run/TestTypeableBinary.hs     |  37 +
 .../typecheck/should_run/TestTypeableBinary.stdout |  15 +
 testsuite/tests/typecheck/should_run/TypeOf.stdout |   6 +-
 testsuite/tests/typecheck/should_run/TypeRep.hs    |  12 +-
 .../tests/typecheck/should_run/TypeRep.stdout      |   6 +-
 testsuite/tests/typecheck/should_run/Typeable1.hs  |  23 +
 testsuite/tests/typecheck/should_run/TypeableEq.hs |  79 +++
 .../tests/typecheck/should_run/TypeableEq.stdout   |  10 +
 testsuite/tests/typecheck/should_run/all.T         |   3 +
 72 files changed, 2684 insertions(+), 890 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 7b7c77b92f20cdd0c5f36d820f085dd9eb5090f4