git.iko.soy/Idris-dev
on master help sign in
Set encoding to UTF8 on Windows
1b4b01cNiklas Larsson
main/Main.hs+4−1
compare with master
unifiedsplit
@@ -3,6 +3,7 @@ module Main where
3import System.Console.Haskeline
3import System.Console.Haskeline
4import System.IO
4import System.IO
5import System.Environment
5import System.Environment
6+import System.Info
6import System.Exit
7import System.Exit
7import System.FilePath ((</>), addTrailingPathSeparator)
8import System.FilePath ((</>), addTrailingPathSeparator)
8import System.Directory
9import System.Directory
@@ -38,7 +39,9 @@ import Paths_idris
38-- on with the REPL.
39-- on with the REPL.
39
40
40main :: IO ()
41main :: IO ()
42+main = do
43+ when (os == "mingw32") $ do hSetEncoding stdout utf8
41−main = do opts <- runArgParser
44+ opts <- runArgParser
42 runMain (runIdris opts)
45 runMain (runIdris opts)
43
46
44runIdris :: [Opt] -> Idris ()
47runIdris :: [Opt] -> Idris ()