[commit: ghc] wip/t11715: Checkpoint. Stage 2 compiles + works. (e554ac3)

Thu Feb 9 03:06:30 UTC 2017

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

On branch  : wip/t11715
Link       : http://ghc.haskell.org/trac/ghc/changeset/e554ac3e19eec3bb738caa74d74609b05b312a7e/ghc

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

commit e554ac3e19eec3bb738caa74d74609b05b312a7e
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Mon Jan 30 20:55:02 2017 -0500

    Checkpoint. Stage 2 compiles + works.

    About to change the name of the types.

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

e554ac3e19eec3bb738caa74d74609b05b312a7e
 compiler/coreSyn/MkCore.hs                         | 10 ++++-
 compiler/ghci/RtClosureInspect.hs                  |  4 +-
 compiler/iface/IfaceType.hs                        | 10 ++---
 compiler/iface/TcIface.hs                          |  9 ++--
 compiler/prelude/TysWiredIn.hs                     | 26 +++++++-----
 compiler/prelude/TysWiredIn.hs-boot                |  3 +-
 compiler/stgSyn/CoreToStg.hs                       |  2 +-
 compiler/stranal/WwLib.hs                          |  3 ++
 compiler/typecheck/TcExpr.hs                       | 18 ++++++--
 compiler/typecheck/TcGenFunctor.hs                 |  6 +--
 compiler/typecheck/TcHsSyn.hs                      |  7 +++-
 compiler/typecheck/TcHsType.hs                     | 10 +++--
 compiler/typecheck/TcMType.hs                      |  4 ++
 compiler/typecheck/TcPat.hs                        |  6 +--
 compiler/typecheck/TcSimplify.hs                   | 11 ++++-
 compiler/typecheck/TcSplice.hs                     |  8 ++--
 compiler/types/TyCoRep.hs                          | 23 +++++-----
 compiler/types/TyCon.hs                            | 22 ++++++----
 compiler/types/Type.hs                             | 49 ++++++++++++++++------
 libraries/base/GHC/Exts.hs                         |  2 +-
 .../tests/deSugar/should_compile/T2431.stderr      |  6 +--
 .../tests/dependent/should_compile/RaeJobTalk.hs   |  6 +++
 testsuite/tests/dependent/should_compile/T11405.hs |  2 +-
 testsuite/tests/dependent/should_fail/T11473.hs    |  4 +-
 .../tests/dependent/should_fail/TypeSkolEscape.hs  |  2 +-
 testsuite/tests/deriving/should_fail/T12512.hs     |  4 +-
 .../tests/indexed-types/should_run/T11465a.hs      |  2 +-
 testsuite/tests/polykinds/T12668.hs                |  4 +-
 testsuite/tests/polykinds/T12718.hs                |  4 +-
 testsuite/tests/typecheck/should_compile/T11723.hs |  2 +-
 testsuite/tests/typecheck/should_compile/T12911.hs |  2 +-
 testsuite/tests/typecheck/should_compile/T12987.hs |  2 +-
 .../tests/typecheck/should_fail/LevPolyBounded.hs  |  2 +-
 testsuite/tests/typecheck/should_fail/T11724.hs    |  2 +-
 testsuite/tests/typecheck/should_fail/T12973.hs    |  6 +--
 testsuite/tests/typecheck/should_fail/T13105.hs    |  2 +-
 .../tests/typecheck/should_run/EtaExpandLevPoly.hs |  8 ++--
 testsuite/tests/typecheck/should_run/T12809.hs     |  4 +-
 testsuite/tests/typecheck/should_run/TypeOf.hs     |  2 +-
 testsuite/tests/typecheck/should_run/TypeRep.hs    |  2 +-
 testsuite/tests/unboxedsums/UbxSumLevPoly.hs       |  2 +-
 testsuite/tests/unboxedsums/sum_rr.hs              |  2 +-
 42 files changed, 195 insertions(+), 110 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 e554ac3e19eec3bb738caa74d74609b05b312a7e