module Agda.Utils.IO.Locale
( print
, putStr
, putStrLn
, stdoutFlush
, hGetContents
) where
import Prelude (Show, IO, String)
import System.IO (Handle, hFlush, stdout)
#if MIN_VERSION_base(4,2,0)
import qualified Prelude
import qualified System.IO as IO
#else
import qualified System.IO.UTF8 as UTF8
#endif
stdoutFlush :: IO ()
stdoutFlush = hFlush stdout
print :: Show a => a -> IO ()
#if MIN_VERSION_base(4,2,0)
print = Prelude.print
#else
print = UTF8.print
#endif
putStr :: String -> IO ()
#if MIN_VERSION_base(4,2,0)
putStr = Prelude.putStr
#else
putStr = UTF8.putStr
#endif
putStrLn :: String -> IO ()
#if MIN_VERSION_base(4,2,0)
putStrLn = Prelude.putStrLn
#else
putStrLn = UTF8.putStrLn
#endif
hGetContents :: Handle -> IO String
#if MIN_VERSION_base(4,2,0)
hGetContents = IO.hGetContents
#else
hGetContents = UTF8.hGetContents
#endif