git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1946 from Heather/encoding
4f88433David Christiansen
main/Main.hs+1−4
compare with master
unifiedsplit
@@ -29,7 +29,6 @@ import Idris.CmdOptions
29import IRTS.System ( getLibFlags, getIdrisLibDir, getIncFlags )
29import IRTS.System ( getLibFlags, getIdrisLibDir, getIncFlags )
30
30
31import Util.DynamicLinker
31import Util.DynamicLinker
32−import Util.System
33
32
34import Pkg.Package
33import Pkg.Package
35
34
@@ -39,9 +38,7 @@ import Paths_idris
39-- on with the REPL.
38-- on with the REPL.
40
39
41main :: IO ()
40main :: IO ()
42−main = do
43− when isWindows $ do hSetEncoding stdout utf8
44− opts <- runArgParser
41+main = do opts <- runArgParser
45 runMain (runIdris opts)
42 runMain (runIdris opts)
46
43
47runIdris :: [Opt] -> Idris ()
44runIdris :: [Opt] -> Idris ()