module UHC.Light.Compiler.Ty.Utils1
( ppTyS
, tyTopLevelMain )
where
import UHC.Light.Compiler.Base.Common
import UHC.Light.Compiler.Base.TermLike
import UHC.Light.Compiler.Substitutable
import UHC.Light.Compiler.VarMp
import UHC.Light.Compiler.Ty
import UHC.Light.Compiler.Ty.Pretty
import UHC.Util.Pretty
import UHC.Light.Compiler.Base.HsName.Builtin
import UHC.Light.Compiler.Opts



{-# LINE 19 "src/ehc/Ty/Utils1.chs" #-}
ppTyS :: (VarUpdatable Ty m, VarLookupKey m ~ VarId) => m -> Ty -> PP_Doc
ppTyS = ppS ppTy

{-# LINE 24 "src/ehc/Ty/Utils1.chs" #-}
tyTopLevelMain :: EHCOpts -> TyVarId -> Ty
tyTopLevelMain opts uniq = appCon1App (ehcOptBuiltin opts ehbnIO) (mkTyVar uniq)