git.iko.soy/Idris-dev
on 2b258db help sign in
Idris-dev/main/Main.hs
103 lines 3.1 kB history raw
1module Main where
3import System.Console.Haskeline
4import System.IO
5import System.Environment
6import System.Exit
7import System.FilePath ((</>), addTrailingPathSeparator)
8import System.Directory
10import Data.Maybe
11import Data.Version
12import Control.Monad.Trans.State.Strict ( execStateT, get, put )
13import Control.Monad ( when )
15import Idris.Core.TT
16import Idris.Core.Typecheck
17import Idris.Core.Evaluate
18import Idris.Core.Constraints
20import Idris.AbsSyntax
21import Idris.Parser
22import Idris.REPL
23import Idris.ElabDecls
24import Idris.Primitives
25import Idris.Imports
26import Idris.Error
27import Idris.CmdOptions
29import IRTS.System ( getLibFlags, getIdrisLibDir, getIncFlags )
31import Util.DynamicLinker
32import Util.System
34import Pkg.Package
36import Paths_idris
38-- Main program reads command line options, parses the main program, and gets
39-- on with the REPL.
41main :: IO ()
42main = do opts <- runArgParser
43 runMain (runIdris opts)
45runIdris :: [Opt] -> Idris ()
46runIdris opts = do
47 runIO setupBundledCC
48 when (ShowIncs `elem` opts) $ runIO showIncs
49 when (ShowLibs `elem` opts) $ runIO showLibs
50 when (ShowLibdir `elem` opts) $ runIO showLibdir
51 when (ShowPkgs `elem` opts) $ runIO showPkgs
52 case opt getClient opts of
53 [] -> return ()
54 (c:_) -> do setVerbose False
55 setQuiet True
56 runIO $ runClient (getPort opts) c
57 runIO $ exitWith ExitSuccess
58 case opt getPkgCheck opts of
59 [] -> return ()
60 fs -> do runIO $ mapM_ (checkPkg (WarnOnly `elem` opts) True) fs
61 runIO $ exitWith ExitSuccess
62 case opt getPkgClean opts of
63 [] -> return ()
64 fs -> do runIO $ mapM_ cleanPkg fs
65 runIO $ exitWith ExitSuccess
66 case opt getPkgMkDoc opts of -- IdrisDoc
67 [] -> return ()
68 fs -> do runIO $ mapM_ documentPkg fs
69 runIO $ exitWith ExitSuccess
70 case opt getPkgTest opts of
71 [] -> return ()
72 fs -> do runIO $ mapM_ testPkg fs
73 runIO $ exitWith ExitSuccess
74 case opt getPkg opts of
75 [] -> case opt getPkgREPL opts of
76 [] -> idrisMain opts
77 [f] -> replPkg f
78 _ -> ifail "Too many packages"
79 fs -> runIO $ mapM_ (buildPkg (WarnOnly `elem` opts)) fs
81showver :: IO b
82showver = do putStrLn $ "Idris version " ++ ver
83 exitWith ExitSuccess
85showLibs :: IO b
86showLibs = do libFlags <- getLibFlags
87 putStrLn $ unwords libFlags
88 exitWith ExitSuccess
90showLibdir :: IO b
91showLibdir = do dir <- getIdrisLibDir
92 putStrLn dir
93 exitWith ExitSuccess
95showIncs :: IO b
96showIncs = do incFlags <- getIncFlags
97 putStrLn $ unwords incFlags
98 exitWith ExitSuccess
100-- | List idris packages installed
101showPkgs :: IO b
102showPkgs = do mapM putStrLn =<< installedPackages
103 exitWith ExitSuccess