[commit: ghc] master: PostTcType replaced with TypeAnnot (7d3f2df)

Sat Sep 6 15:37:32 UTC 2014

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/7d3f2dfc7a45d741224c521e0f2a616a89f9506f/ghc

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

commit 7d3f2dfc7a45d741224c521e0f2a616a89f9506f
Author: Alan Zimmerman <alan.zimm at gmail.com>
Date:   Fri Sep 5 18:11:04 2014 -0500

    PostTcType replaced with TypeAnnot

    Summary:
    This is a first step toward allowing generic traversals of the AST without 'landmines', by removing the `panic`s located throughout `placeHolderType`, `placeHolderKind` & co.

    See more on the discussion at https://www.mail-archive.com/ghc-devs@haskell.org/msg05564.html

    (This also makes a corresponding update to the `haddock` submodule.)

    Test Plan: `sh validate` and new tests pass.

    Reviewers: austin, simonpj, goldfire

    Reviewed By: austin, simonpj, goldfire

    Subscribers: edsko, Fuuzetsu, thomasw, holzensp, goldfire, simonmar, relrod, ezyang, carter

    Projects: #ghc

    Differential Revision: https://phabricator.haskell.org/D157

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

7d3f2dfc7a45d741224c521e0f2a616a89f9506f
 compiler/deSugar/Check.lhs                         |  40 +-
 compiler/deSugar/DsExpr.lhs                        |   3 +-
 compiler/ghc.cabal.in                              |   1 +
 compiler/ghc.mk                                    |   1 +
 compiler/hsSyn/Convert.lhs                         |  36 +-
 compiler/hsSyn/HsBinds.lhs                         |  50 ++-
 compiler/hsSyn/HsDecls.lhs                         | 108 +++---
 compiler/hsSyn/HsExpr.lhs                          | 160 ++++----
 compiler/hsSyn/HsExpr.lhs-boot                     |  29 +-
 compiler/hsSyn/HsLit.lhs                           |  75 ++--
 compiler/hsSyn/HsPat.lhs                           |  37 +-
 compiler/hsSyn/HsPat.lhs-boot                      |  15 +-
 compiler/hsSyn/HsSyn.lhs                           |  10 +-
 compiler/hsSyn/HsTypes.lhs                         |  53 ++-
 compiler/hsSyn/HsUtils.lhs                         | 235 +++++++-----
 compiler/hsSyn/PlaceHolder.hs                      | 103 ++++++
 compiler/parser/Parser.y.pp                        |  58 +--
 compiler/parser/RdrHsSyn.lhs                       |  11 +-
 compiler/rename/RnBinds.lhs                        | 404 +++++++++++----------
 compiler/rename/RnExpr.lhs                         |  22 +-
 compiler/rename/RnPat.lhs                          |  17 +-
 compiler/rename/RnSource.lhs                       |   3 +-
 compiler/rename/RnSplice.lhs                       |   7 +-
 compiler/rename/RnSplice.lhs-boot                  |   5 +-
 compiler/rename/RnTypes.lhs                        |   7 +-
 compiler/typecheck/Inst.lhs                        |  10 +-
 compiler/typecheck/TcArrows.lhs                    |  10 +-
 compiler/typecheck/TcBinds.lhs                     |   5 +-
 compiler/typecheck/TcGenDeriv.lhs                  |   8 +-
 compiler/typecheck/TcGenGenerics.lhs               |   2 +-
 compiler/typecheck/TcHsType.lhs                    |   6 +-
 compiler/typecheck/TcPatSyn.lhs                    |   2 +-
 compiler/typecheck/TcRnDriver.lhs                  |   3 +-
 compiler/typecheck/TcTyClsDecls.lhs                |  10 +-
 testsuite/tests/ghc-api/landmines/.gitignore       |   5 +
 testsuite/tests/ghc-api/landmines/Makefile         |  13 +
 testsuite/tests/ghc-api/landmines/MineFixity.hs    |  23 ++
 testsuite/tests/ghc-api/landmines/MineKind.hs      |  26 ++
 testsuite/tests/ghc-api/landmines/MineNames.hs     |  22 ++
 testsuite/tests/ghc-api/landmines/MineType.hs      |  21 ++
 testsuite/tests/ghc-api/landmines/all.T            |   2 +
 testsuite/tests/ghc-api/landmines/landmines.hs     |  90 +++++
 testsuite/tests/ghc-api/landmines/landmines.stdout |   4 +
 utils/haddock                                      |   2 +-
 44 files changed, 1146 insertions(+), 608 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 7d3f2dfc7a45d741224c521e0f2a616a89f9506f