Commit 7319b80a authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Tighten up imports, white space

parent 871f684d
......@@ -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
......
......@@ -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
......
......@@ -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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment