[commit: ghc] wip/rae: Checkpoint toward new levity polymorphism (eaa8aee)

[git at git.haskell.org]

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

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

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

commit eaa8aee80072ac2ff8a072a3d63c299155420ce4
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Tue Dec 13 17:43:32 2016 -0500

    Checkpoint toward new levity polymorphism


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

eaa8aee80072ac2ff8a072a3d63c299155420ce4
 compiler/cmm/CmmUtils.hs          |   4 +-
 compiler/codeGen/StgCmm.hs        |   6 +-
 compiler/codeGen/StgCmmClosure.hs |  10 +-
 compiler/codeGen/StgCmmEnv.hs     |   5 +-
 compiler/codeGen/StgCmmForeign.hs |  11 +-
 compiler/codeGen/StgCmmUtils.hs   |   6 +-
 compiler/coreSyn/CoreLint.hs      |  15 +-
 compiler/deSugar/DsForeign.hs     |   7 +-
 compiler/ghci/ByteCodeGen.hs      |  60 ++++----
 compiler/ghci/ByteCodeItbls.hs    |   4 +-
 compiler/ghci/RtClosureInspect.hs |  29 ++--
 compiler/iface/IfaceType.hs       |  22 +--
 compiler/main/InteractiveEval.hs  |   5 +-
 compiler/prelude/PrelNames.hs     |  16 +-
 compiler/prelude/PrimOp.hs        |   8 +-
 compiler/prelude/TysPrim.hs       | 118 +++++++--------
 compiler/prelude/TysWiredIn.hs    | 168 +++++++++++++++------
 compiler/simplStg/RepType.hs      | 305 ++++++++++++++++++--------------------
 compiler/simplStg/UnariseStg.hs   |  52 ++++---
 compiler/stgSyn/CoreToStg.hs      |   3 +-
 compiler/stgSyn/StgLint.hs        |   4 +-
 compiler/stgSyn/StgSyn.hs         |   4 +-
 compiler/typecheck/TcErrors.hs    |  15 +-
 compiler/typecheck/TcHsSyn.hs     | 104 +++----------
 compiler/typecheck/TcHsType.hs    |  13 +-
 compiler/typecheck/TcMType.hs     |   2 +-
 compiler/typecheck/TcSimplify.hs  |  13 +-
 compiler/typecheck/TcType.hs      |   8 +-
 compiler/types/FamInstEnv.hs      |   2 -
 compiler/types/Kind.hs            |   2 +-
 compiler/types/TyCoRep.hs         |   6 +-
 compiler/types/TyCon.hs           |   2 +-
 compiler/types/Type.hs            |   5 +-
 libraries/ghc-prim/GHC/Types.hs   |  16 +-
 34 files changed, 501 insertions(+), 549 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 eaa8aee80072ac2ff8a072a3d63c299155420ce4