+
+zonkFlattenedType :: TcType -> TcS TcType
+zonkFlattenedType ty = wrapTcS (TcM.zonkTcType ty)
+
+
+{--
+tyVarsOfUnflattenedType :: TcType -> TcTyVarSet
+-- A version of tyVarsOfType which looks through flatSkols
+tyVarsOfUnflattenedType ty
+ = foldVarSet (unionVarSet . do_tv) emptyVarSet (tyVarsOfType ty)
+ where
+ do_tv :: TyVar -> TcTyVarSet
+ do_tv tv = ASSERT( isTcTyVar tv)
+ case tcTyVarDetails tv of
+ FlatSkol _ ty -> tyVarsOfUnflattenedType ty
+ _ -> unitVarSet tv
+--}
+
+
+