[commit: ghc] wip/tc-plugins: Modify TcPlugin interface, and move loading of plugins to `initTc` (2a6787c)

[git at git.haskell.org]

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

On branch  : wip/tc-plugins
Link       : http://ghc.haskell.org/trac/ghc/changeset/2a6787c9be36918d0deaa2747aed87dfae492f48/ghc

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

commit 2a6787c9be36918d0deaa2747aed87dfae492f48
Author: Iavor S. Diatchki <diatchki at galois.com>
Date:   Fri Oct 10 12:14:13 2014 -0700

    Modify TcPlugin interface, and move loading of plugins to `initTc`
    
    The typechecker plugins are now written in a restricted monad, which
    wraps TcM.  See TcPluginM in TcRnTypes and the related funcitons
    in TcRnMonad.
    
    Also, plugin loading now happens when initializing the type-checker,
    conditional on a boolean flag.  The flag is important, so that we can
    disable plugin loding while loading the plugins themselves, to avoid a loop.
    
    Also, uses of `initTcInteractive` that are related to dynamic loading
    were renamed to a separate function: `initTcDynamic`.


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

2a6787c9be36918d0deaa2747aed87dfae492f48
 compiler/ghc.cabal.in                |   1 -
 compiler/ghc.mk                      |  14 +-
 compiler/ghci/RtClosureInspect.hs    |   4 +-
 compiler/main/DynamicLoading.hs      |   6 +-
 compiler/main/DynamicLoading.hs-boot |  12 ++
 compiler/typecheck/TcInteract.lhs    |   4 +-
 compiler/typecheck/TcRnDriver.lhs    |  43 +---
 compiler/typecheck/TcRnMonad.lhs     | 128 ++++++++----
 compiler/typecheck/TcRnTypes.lhs     |  35 +++-
 compiler/typecheck/TcSMonad.lhs      | 367 +++++++++++++++++++++++++++++++--
 compiler/typecheck/TcSTypes.hs       | 385 -----------------------------------
 compiler/typecheck/TcSTypes.hs-boot  |   7 -
 12 files changed, 508 insertions(+), 498 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 2a6787c9be36918d0deaa2747aed87dfae492f48