[commit: ghc] wip/gadtpm: Eagerly apply substitution in uncovered + all pretty printing in Check.hs (3e1dfb6)

[git at git.haskell.org]

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

On branch  : wip/gadtpm
Link       : http://ghc.haskell.org/trac/ghc/changeset/3e1dfb65f3d9add2f7d612e1f2d0811979affcfb/ghc

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

commit 3e1dfb65f3d9add2f7d612e1f2d0811979affcfb
Author: George Karachalias <george.karachalias at gmail.com>
Date:   Fri Nov 20 14:54:34 2015 +0100

    Eagerly apply substitution in uncovered + all pretty printing in Check.hs


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

3e1dfb65f3d9add2f7d612e1f2d0811979affcfb
 compiler/deSugar/Check.hs    | 192 +++++++++++++++++++++++++------------------
 compiler/deSugar/Match.hs    |  78 +-----------------
 compiler/deSugar/TmOracle.hs |  14 ++++
 3 files changed, 129 insertions(+), 155 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 3e1dfb65f3d9add2f7d612e1f2d0811979affcfb