git.iko.soy/Idris-dev
on master help sign in
Added new items to Idris.Info

Addition of logging categories and installed packages to new Info module.

commit757b76f560dfb78b1788dfa72c9d12d0fffdf02c authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateSun 7 Aug 2016, 19:22 (10 years ago) parentc8e4651
3 files changed+14−4
compare with master
unifiedsplit
main/Main.hs+3−3 src/Idris/Info.hs+11 src/Idris/REPL.hs−1
main/Main.hs+3−3
@@ -6,7 +6,7 @@ import Control.Monad ( when )
66
77import Idris.AbsSyntax
88import Idris.REPL
9−import Idris.Imports
9+-- import Idris.Imports
1010import Idris.Error
1111import Idris.CmdOptions
1212import Idris.Info
@@ -78,10 +78,10 @@ showIncs = do incFlags <- getIdrisFlagsInc
7878
7979-- | List idris packages installed
8080showPkgs :: IO b
81−showPkgs = do mapM_ putStrLn =<< installedPackages
81+showPkgs = do mapM_ putStrLn =<< getIdrisInstalledPackages
8282 exitSuccess
8383
8484showLoggingCats :: IO b
8585showLoggingCats = do
86− putStrLn loggingCatsStr
86+ mapM_ putStrLn =<< getIdrisLoggingCategories
8787 exitSuccess
src/Idris/Info.hs+11
@@ -16,12 +16,17 @@ module Idris.Info
1616 , getIdrisUserDataDir
1717 , getIdrisInitScript
1818 , getIdrisHistoryFile
19+ , getIdrisInstalledPackages
20+ , getIdrisLoggingCategories
1921 ) where
2022
2123import System.FilePath
2224import System.Directory
2325import Data.Version
2426
27+import Idris.Imports (installedPackages)
28+import Idris.AbsSyntax (loggingCatsStr)
29+
2530import qualified IRTS.System as S
2631
2732import Version_idris (gitHash)
@@ -64,3 +69,9 @@ getIdrisHistoryFile :: IO FilePath
6469getIdrisHistoryFile = do
6570 udir <- getIdrisUserDataDir
6671 return (udir </> "repl" </> "history")
72+
73+getIdrisInstalledPackages :: IO [String]
74+getIdrisInstalledPackages = installedPackages
75+
76+getIdrisLoggingCategories :: IO [String]
77+getIdrisLoggingCategories = pure $ words loggingCatsStr
src/Idris/REPL.hs−1
@@ -73,7 +73,6 @@ import Idris.Core.Constraints
7373import IRTS.Compiler
7474import IRTS.CodegenCommon
7575import IRTS.Exports
76−--import IRTS.System
7776
7877import Control.Category
7978import qualified Control.Exception as X