[commit: ghc] master: Implement typechecker plugins (64cb496)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/64cb49686457c233d0f58e5cfa324ad28a5453a3/ghc

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

commit 64cb49686457c233d0f58e5cfa324ad28a5453a3
Author: Adam Gundry <adam at well-typed.com>
Date:   Thu Nov 20 13:32:26 2014 +0000

    Implement typechecker plugins
    
    Summary:
    See https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker
    
    This is based on work by Iavor Diatchki and Eric Seidel.
    
    Test Plan: validate
    
    Reviewers: simonpj, austin
    
    Reviewed By: austin
    
    Subscribers: gridaphobe, yav, thomie, carter
    
    Differential Revision: https://phabricator.haskell.org/D489
    
    Conflicts:
    	docs/users_guide/7.10.1-notes.xml


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

64cb49686457c233d0f58e5cfa324ad28a5453a3
 compiler/ghc.cabal.in                 |   2 +
 compiler/main/DynamicLoading.hs       |  49 +++++++++++-
 compiler/main/GhcPlugins.hs           |   7 +-
 compiler/main/Plugins.hs              |  38 +++++++++
 compiler/prelude/PrelNames.lhs        |   6 +-
 compiler/simplCore/CoreMonad.lhs      |  27 +------
 compiler/simplCore/SimplCore.lhs      |  52 ++-----------
 compiler/typecheck/TcInteract.lhs     | 142 ++++++++++++++++++++++++++++++++--
 compiler/typecheck/TcPluginM.hs       | 123 +++++++++++++++++++++++++++++
 compiler/typecheck/TcRnDriver.lhs     |  48 +++++++++++-
 compiler/typecheck/TcRnMonad.lhs      |   3 +-
 compiler/typecheck/TcRnTypes.lhs      |  80 ++++++++++++++++++-
 compiler/typecheck/TcRnTypes.lhs-boot |  13 ----
 compiler/typecheck/TcSMonad.lhs       |  50 +++++++++++-
 compiler/typecheck/TcTypeNats.hs      |   8 ++
 docs/users_guide/7.10.1-notes.xml     |   9 +++
 docs/users_guide/extending_ghc.xml    |  65 ++++++++++++++--
 17 files changed, 611 insertions(+), 111 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 64cb49686457c233d0f58e5cfa324ad28a5453a3