import Var ( Var )
import Name ( Name )
import Literal ( Literal(..), mkStringLit, inIntRange, tARGET_MAX_INT )
-import TyCon ( isNewTyCon, tyConDataCons, tyConArity )
-import DataCon ( DataCon, dataConSourceArity, dataConTyCon, dataConTag, dataConRepArgTys )
+import TyCon ( isNewTyCon, tyConDataCons )
+import DataCon ( DataCon, dataConSourceArity, dataConTyCon, dataConTag )
import Type ( mkFunTy, isUnLiftedType, Type, splitTyConApp, mkTyVarTy,
splitNewTyConApp )
-import Coercion ( Coercion, mkUnsafeCoercion )
-import TcType ( tcEqType )
+import Coercion ( mkUnsafeCoercion )
import TysPrim ( intPrimTy )
import TysWiredIn ( nilDataCon, consDataCon,
tupleCon, mkTupleTy,
arg_id1 = head arg_ids1
var_ty = idType var
(tc, ty_args) = splitNewTyConApp var_ty
- newtype_rhs = unwrapNewTypeBody tycon ty_args (Var var)
+ newtype_rhs = unwrapNewTypeBody tc ty_args (Var var)
-- Stuff for data types
data_cons = tyConDataCons tycon