Use pre-existing function to list installed packages at command line
commit2f0ec2efaa60e0532195484f8abb56fdde51f7b2
authorBen Sherman <sherman@metsci.com>
dateFri 2 Jan 2015, 19:29 (12 years ago)
parenta1af8e9
main/Main.hs+1−3
@@ -97,7 +97,5 @@ showIncs = do incFlags <- getIncFlags
9797
9898-- | List idris packages installed
9999showPkgs :: IO b
100−showPkgs = do dir <- getIdrisLibDir
101− pkgs <- getDirectoryContents dir
102− mapM putStrLn (filter (/= ".") . filter (/= "..") $ pkgs)
100+showPkgs = do mapM putStrLn =<< installedPackages
103101 exitWith ExitSuccess