[commit: ghc] wip/gadtpm: replaced the call to the term oracle with a call to the incremental one (now in debugging mode..) (b38be8f)

[git at git.haskell.org]

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

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

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

commit b38be8ff3197b5637bbcbe3441cd4b85e85e7cad
Author: George Karachalias <george.karachalias at gmail.com>
Date:   Fri Oct 16 17:11:51 2015 +0200

    replaced the call to the term oracle with a call to the incremental one (now in debugging mode..)


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

b38be8ff3197b5637bbcbe3441cd4b85e85e7cad
 compiler/deSugar/Check.hs       | 116 +++++-------
 compiler/deSugar/PmExpr.hs      | 139 ++------------
 compiler/deSugar/TmOracle.hs    | 395 ++++++++--------------------------------
 compiler/typecheck/TcRnTypes.hs |   9 +-
 4 files changed, 140 insertions(+), 519 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 b38be8ff3197b5637bbcbe3441cd4b85e85e7cad