@@ -4,34 +4,53 @@ import System.Exit
44
55import Idris.Info
66
7−
8−showIdrisFlagsLibs :: IO b
7+showIdrisFlagsLibs :: IO ()
98showIdrisFlagsLibs = do
109 libFlags <- getIdrisFlagsLib
1110 putStrLn $ unwords libFlags
11+
12+showExitIdrisFlagsLibs :: IO ()
13+showExitIdrisFlagsLibs = do
14+ showIdrisFlagsLibs
1215 exitSuccess
1316
14−showIdrisLibDir :: IO b
17+showIdrisLibDir :: IO ()
1518showIdrisLibDir = do
1619 ldir <- getIdrisLibDir
1720 putStrLn ldir
21+
22+showExitIdrisLibDir :: IO ()
23+showExitIdrisLibDir = do
24+ showIdrisLibDir
1825 exitSuccess
1926
20−showIdrisFlagsInc :: IO b
27+showIdrisFlagsInc :: IO ()
2128showIdrisFlagsInc = do
2229 incFlags <- getIdrisFlagsInc
2330 putStrLn $ unwords incFlags
31+
32+showExitIdrisFlagsInc :: IO ()
33+showExitIdrisFlagsInc = do
34+ showIdrisFlagsInc
2435 exitSuccess
2536
2637-- | List idris packages installed
27−showIdrisInstalledPackages :: IO b
38+showIdrisInstalledPackages :: IO ()
2839showIdrisInstalledPackages = do
2940 ipkgs <- getIdrisInstalledPackages
3041 mapM_ putStrLn ipkgs
42+
43+showExitIdrisInstalledPackages :: IO ()
44+showExitIdrisInstalledPackages = do
45+ showIdrisInstalledPackages
3146 exitSuccess
3247
33−showIdrisLoggingCategories :: IO b
48+showIdrisLoggingCategories :: IO ()
3449showIdrisLoggingCategories = do
3550 cs <- getIdrisLoggingCategories
3651 mapM_ putStrLn cs
52+
53+showExitIdrisLoggingCategories :: IO ()
54+showExitIdrisLoggingCategories = do
55+ showIdrisLoggingCategories
3756 exitSuccess