Tighten up imports, white space
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 20 Apr 2016 11:39:19 +0000 (12:39 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 20 Apr 2016 11:58:41 +0000 (12:58 +0100)
compiler/typecheck/TcPatSyn.hs
compiler/typecheck/TcType.hs
compiler/typecheck/TcTypeable.hs

index 0983be5..839cce4 100644 (file)
@@ -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
index d30833a..b251f29 100644 (file)
@@ -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
index 3b380f7..04d07d1 100644 (file)
@@ -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)