[commit: ghc] wip/rae: Address #11471 by putting RuntimeRep in kinds. (a9f7670)

[git at git.haskell.org]

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

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/a9f7670a4dc9d405c54854f59a131f65bfd0bb45/ghc

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

commit a9f7670a4dc9d405c54854f59a131f65bfd0bb45
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Thu Feb 4 10:42:56 2016 -0500

    Address #11471 by putting RuntimeRep in kinds.
    
    See Note [TYPE] in TysPrim. There are still some outstanding
    pieces in #11471 though, so this doesn't actually nail the bug.


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

a9f7670a4dc9d405c54854f59a131f65bfd0bb45
 compiler/basicTypes/DataCon.hs                     |   9 +-
 compiler/basicTypes/MkId.hs                        |  29 +--
 compiler/basicTypes/PatSyn.hs                      |   4 +-
 compiler/coreSyn/CoreLint.hs                       |   4 +-
 compiler/coreSyn/CorePrep.hs                       |   2 +-
 compiler/coreSyn/MkCore.hs                         |  20 +-
 compiler/deSugar/DsBinds.hs                        |   2 +-
 compiler/deSugar/DsUtils.hs                        |   4 +-
 compiler/ghci/RtClosureInspect.hs                  |   6 +-
 compiler/iface/BinIface.hs                         |   2 +-
 compiler/iface/BuildTyCl.hs                        |   2 +-
 compiler/iface/IfaceEnv.hs                         |   2 +-
 compiler/iface/IfaceType.hs                        |  25 +--
 compiler/iface/TcIface.hs                          |   4 +-
 compiler/main/InteractiveEval.hs                   |   2 +-
 compiler/prelude/PrelNames.hs                      |  27 ++-
 compiler/prelude/PrimOp.hs                         |   2 +-
 compiler/prelude/TysPrim.hs                        | 123 ++++++++----
 compiler/prelude/TysWiredIn.hs                     | 216 +++++++++++++++++++--
 compiler/prelude/TysWiredIn.hs-boot                |  21 +-
 compiler/typecheck/TcBinds.hs                      |   2 +-
 compiler/typecheck/TcCanonical.hs                  |   2 -
 compiler/typecheck/TcErrors.hs                     |  25 ++-
 compiler/typecheck/TcExpr.hs                       |  12 +-
 compiler/typecheck/TcHsSyn.hs                      |   4 +-
 compiler/typecheck/TcHsType.hs                     |  29 +--
 compiler/typecheck/TcInstDcls.hs                   |   2 +-
 compiler/typecheck/TcMType.hs                      |  26 +--
 compiler/typecheck/TcPat.hs                        |   4 +-
 compiler/typecheck/TcPatSyn.hs                     |  18 +-
 compiler/typecheck/TcRnDriver.hs                   |   2 +-
 compiler/typecheck/TcSMonad.hs                     |   6 +-
 compiler/typecheck/TcSimplify.hs                   |  22 +--
 compiler/typecheck/TcType.hs                       |   4 +-
 compiler/typecheck/TcTypeable.hs                   |   1 -
 compiler/types/Kind.hs                             |  31 ++-
 compiler/types/TyCoRep.hs                          |  56 +++---
 compiler/types/TyCon.hs                            | 121 +++++++-----
 compiler/types/Type.hs                             |  74 ++++---
 compiler/utils/Util.hs                             |  16 ++
 compiler/vectorise/Vectorise/Exp.hs                |   2 +-
 libraries/base/Data/Data.hs                        |   2 +-
 libraries/base/Data/Typeable/Internal.hs           |  29 ++-
 libraries/base/GHC/Err.hs                          |   8 +-
 libraries/base/GHC/Exts.hs                         |   4 +-
 libraries/base/tests/T11334.hs                     |   4 +-
 libraries/ghc-prim/GHC/Types.hs                    |  73 +++++--
 .../tests/deSugar/should_compile/T2431.stderr      |   6 +-
 testsuite/tests/dependent/should_compile/T11405.hs |   2 +-
 .../tests/dependent/should_fail/TypeSkolEscape.hs  |   2 +-
 .../dependent/should_fail/TypeSkolEscape.stderr    |  10 +-
 testsuite/tests/ghci/scripts/T7627.stdout          |   8 +-
 .../tests/indexed-types/should_run/T11465a.hs      |   2 +-
 .../tests/simplCore/should_compile/T7360.stderr    |   4 +-
 .../tests/simplCore/should_compile/T9400.stderr    |   6 +-
 .../simplCore/should_compile/spec-inline.stderr    |   6 +-
 .../typecheck/should_run/KindInvariant.stderr      |   3 +-
 testsuite/tests/typecheck/should_run/TypeOf.hs     |   2 +-
 testsuite/tests/typecheck/should_run/TypeOf.stdout |   2 +-
 utils/genprimopcode/Main.hs                        |   2 +-
 60 files changed, 757 insertions(+), 383 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 a9f7670a4dc9d405c54854f59a131f65bfd0bb45