import CoreSyn
import CoreUtils
import Type
-import TcType
import Id
import Name
-import OccName
import VarEnv
import UniqSupply
import Util
emptyIdSATInfo = emptyUFM
{-
-pprIdSATInfo id_sat_info = vcat (map pprIdAndSATInfo (fmToList id_sat_info))
+pprIdSATInfo id_sat_info = vcat (map pprIdAndSATInfo (Map.toList id_sat_info))
where pprIdAndSATInfo (v, sat_info) = hang (ppr v <> colon) 4 (pprSATInfo sat_info)
-}