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

1 files changed, 4 insertions, 3 deletions

diff --git a/compiler/main/GhcPlugins.hs b/compiler/main/GhcPlugins.hs
index 0fc87f0fd0..2b7746c6ce 100644
--- a/compiler/main/GhcPlugins.hs
+++ b/compiler/main/GhcPlugins.hs
@@ -8,9 +8,9 @@
 -- Particularly interesting modules for plugin writers include
 -- "CoreSyn" and "CoreMonad".
 module GhcPlugins(
-        module CoreMonad,
+        module Plugins,
         module RdrName, module OccName, module Name, module Var, module Id, module IdInfo,
-        module CoreSyn, module Literal, module DataCon, 
+        module CoreMonad, module CoreSyn, module Literal, module DataCon,
         module CoreUtils, module MkCore, module CoreFVs, module CoreSubst,
         module Rules, module Annotations,
         module DynFlags, module Packages,
@@ -23,7 +23,7 @@ module GhcPlugins(
     ) where
 
 -- Plugin stuff itself
-import CoreMonad
+import Plugins
 
 -- Variable naming
 import RdrName
@@ -34,6 +34,7 @@ import Id       hiding  ( lazySetIdInfo, setIdExported, setIdNotExported {- all
 import IdInfo
 
 -- Core
+import CoreMonad
 import CoreSyn
 import Literal
 import DataCon