@@ -10,6 +10,7 @@ import Idris.REPL
1010import Idris.Error
1111import Idris.CmdOptions
1212import Idris.Info
13+import Idris.Info.Show
1314import Idris.Package
1415
1516
@@ -28,11 +29,11 @@ main = do opts <- runArgParser
2829runIdris :: [Opt] -> Idris ()
2930runIdris opts = do
3031 runIO setupBundledCC
31− when (ShowLoggingCats `elem` opts) $ runIO showLoggingCats
32− when (ShowIncs `elem` opts) $ runIO showIncs
33− when (ShowLibs `elem` opts) $ runIO showLibs
34− when (ShowLibdir `elem` opts) $ runIO showLibdir
35− when (ShowPkgs `elem` opts) $ runIO showPkgs
32+ when (ShowLoggingCats `elem` opts) $ runIO showIdrisLoggingCategories
33+ when (ShowIncs `elem` opts) $ runIO showIdrisFlagsInc
34+ when (ShowLibs `elem` opts) $ runIO showIdrisFlagsLibs
35+ when (ShowLibdir `elem` opts) $ runIO showIdrisLibDir
36+ when (ShowPkgs `elem` opts) $ runIO showIdrisInstalledPackages
3637 case opt getClient opts of
3738 [] -> return ()
3839 (c:_) -> do setVerbose False
@@ -61,27 +62,3 @@ runIdris opts = do
6162 [f] -> replPkg opts f
6263 _ -> ifail "Too many packages"
6364 fs -> runIO $ mapM_ (buildPkg opts (WarnOnly `elem` opts)) fs
64−
65−showLibs :: IO b
66−showLibs = do libFlags <- getIdrisFlagsLib
67− putStrLn $ unwords libFlags
68− exitSuccess
69−
70−showLibdir :: IO b
71−showLibdir = do putStrLn =<< getIdrisLibDir
72− exitSuccess
73−
74−showIncs :: IO b
75−showIncs = do incFlags <- getIdrisFlagsInc
76− putStrLn $ unwords incFlags
77− exitSuccess
78−
79−-- | List idris packages installed
80−showPkgs :: IO b
81−showPkgs = do mapM_ putStrLn =<< getIdrisInstalledPackages
82− exitSuccess
83−
84−showLoggingCats :: IO b
85−showLoggingCats = do
86− mapM_ putStrLn =<< getIdrisLoggingCategories
87− exitSuccess