[commit: ghc] wip/gadtpm: Short-circuit type-checking for non-GADT constructors (+cleanup) (2f97015)

[git at git.haskell.org]

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

On branch  : wip/gadtpm
Link       : http://ghc.haskell.org/trac/ghc/changeset/2f970157512f97d14b09e43b4ec32a43893bf621/ghc

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

commit 2f970157512f97d14b09e43b4ec32a43893bf621
Author: George Karachalias <george.karachalias at gmail.com>
Date:   Tue Feb 17 10:23:09 2015 +0100

    Short-circuit type-checking for non-GADT constructors (+cleanup)
    
     * Do not tc if there are no GADT constructors in the match
     * Added a COMEHERE to everything that has to be adjusted for final submission
     * Removed all temporary prints
     * Fixed warning pretty printing


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

2f970157512f97d14b09e43b4ec32a43893bf621
 compiler/basicTypes/Var.hs      |   5 +-
 compiler/deSugar/Check.hs       | 137 +++++++++++++++++++---------------------
 compiler/deSugar/DsMonad.hs     |   7 --
 compiler/deSugar/Match.hs       |  97 +++++++++-------------------
 compiler/deSugar/MatchLit.hs    |   1 -
 compiler/hsSyn/HsExpr.hs        |   7 +-
 compiler/hsSyn/HsLit.hs         |   1 -
 compiler/hsSyn/HsPat.hs         |  38 ++++++++++-
 compiler/typecheck/TcMType.hs   |   1 -
 compiler/typecheck/TcRnTypes.hs |  12 +---
 10 files changed, 141 insertions(+), 165 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 2f970157512f97d14b09e43b4ec32a43893bf621