@@ -1,38 +1,21 @@
11module Main where
22
3−import System.Console.Haskeline
4−import System.IO
5−import System.Environment
6−import System.Exit
7−import System.Directory
3+import System.Exit ( exitSuccess )
84
9−import Data.Maybe
10−import Data.Version
115import Control.Monad ( when )
126
13−import Idris.Core.TT
14−import Idris.Core.Typecheck
15−import Idris.Core.Evaluate
16−import Idris.Core.Constraints
17−
187import Idris.AbsSyntax
19−import Idris.Parser
208import Idris.REPL
21−import Idris.ElabDecls
22−import Idris.Primitives
239import Idris.Imports
2410import Idris.Error
2511import Idris.CmdOptions
2612
2713import IRTS.System ( getLibFlags, getIdrisLibDir, getIncFlags )
2814
29−import Util.DynamicLinker
30−import Util.System
15+import Util.System ( setupBundledCC )
3116
3217import Pkg.Package
3318
34−import Paths_idris
35−
3619-- Main program reads command line options, parses the main program, and gets
3720-- on with the REPL.
3821
@@ -97,7 +80,7 @@ showIncs = do incFlags <- getIncFlags
9780
9881-- | List idris packages installed
9982showPkgs :: IO b
100−showPkgs = do mapM putStrLn =<< installedPackages
83+showPkgs = do mapM_ putStrLn =<< installedPackages
10184 exitSuccess
10285
10386showLoggingCats :: IO b