[commit: ghc] master: Tighten up imports, white space (7319b80)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/7319b80a2cdffdfac8586946d0c7b0fdc8d77dae/ghc

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

commit 7319b80a2cdffdfac8586946d0c7b0fdc8d77dae
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Apr 20 12:39:19 2016 +0100

    Tighten up imports, white space


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

7319b80a2cdffdfac8586946d0c7b0fdc8d77dae
 compiler/typecheck/TcPatSyn.hs   | 3 ++-
 compiler/typecheck/TcType.hs     | 3 ++-
 compiler/typecheck/TcTypeable.hs | 8 +++++---
 3 files changed, 9 insertions(+), 5 deletions(-)

diff --git a/compiler/typecheck/TcPatSyn.hs b/compiler/typecheck/TcPatSyn.hs
index 0983be5..839cce4 100644
--- a/compiler/typecheck/TcPatSyn.hs
+++ b/compiler/typecheck/TcPatSyn.hs
@@ -15,6 +15,8 @@ import HsSyn
 import TcPat
 import TcHsType( tcImplicitTKBndrs, tcExplicitTKBndrs
                , tcHsContext, tcHsLiftedType, tcHsOpenType, kindGeneralize )
+import Type( binderVar, mkNamedBinders, binderVisibility
+           , tidyTyCoVarBndrs, tidyTypes, tidyType )
 import TcRnMonad
 import TcEnv
 import TcMType
@@ -36,7 +38,6 @@ import BasicTypes
 import TcSimplify
 import TcUnify
 import TcType
-import Type
 import TcEvidence
 import BuildTyCl
 import VarSet
diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs
index d30833a..b251f29 100644
--- a/compiler/typecheck/TcType.hs
+++ b/compiler/typecheck/TcType.hs
@@ -209,7 +209,8 @@ import Name -- hiding (varName)
 import NameSet
 import VarEnv
 import PrelNames
-import TysWiredIn
+import TysWiredIn( coercibleClass, unitTyCon, unitTyConKey
+                 , listTyCon, constraintKind )
 import BasicTypes
 import Util
 import Bag
diff --git a/compiler/typecheck/TcTypeable.hs b/compiler/typecheck/TcTypeable.hs
index 3b380f7..04d07d1 100644
--- a/compiler/typecheck/TcTypeable.hs
+++ b/compiler/typecheck/TcTypeable.hs
@@ -103,9 +103,11 @@ mkTypeableBinds
        ; tcg_env <- setGblEnv tcg_env mkPrimTypeableBinds
          -- Then we produce bindings for the user-defined types in this module.
        ; setGblEnv tcg_env $
-             let tycons = filter needs_typeable_binds (tcg_tcs tcg_env)
-             in mkTypeableTyConBinds tycons
-       }
+
+    do { let tycons = filter needs_typeable_binds (tcg_tcs tcg_env)
+       ; traceTc "mkTypeableBinds" (ppr tycons)
+       ; mkTypeableTyConBinds tycons
+       } }
   where
     needs_typeable_binds tc =
           (not (isFamInstTyCon tc) && isAlgTyCon tc)