80b60a6 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Remove unnecesary imports and fix small hlint warning

commit80b60a66ecb55eacac4fa7c37d4bd96e741ff890 authorJoseph Morag <jm4157@columbia.edu> dateTue 11 Dec 2018, 01:00 (8 years ago) parent8af2772

2 files changed+2−4

unifiedsplit

src/Idris/Package/Parser.hs+1−2

@@ -26,14 +26,13 @@ import System.Exit

2626import System.FilePath (isValid, takeExtension, takeFileName)

2727import Text.Megaparsec ((<?>))

2828import qualified Text.Megaparsec as P

29−import qualified Text.Megaparsec.Char as P

3029import qualified Text.PrettyPrint.ANSI.Leijen as PP

3130

3231type PParser = Parser PkgDesc

3332

3433parseDesc :: FilePath -> IO PkgDesc

3534parseDesc fp = do

36− when (not $ takeExtension fp == ".ipkg") $ do

35+ unless (takeExtension fp == ".ipkg") $ do

3736 putStrLn $ unwords ["The presented iPKG file does not have a '.ipkg' extension:", show fp]

3837 exitWith (ExitFailure 1)

3938 res <- doesFileExist fp

src/Idris/Parser/Ops.hs+1−2

@@ -23,8 +23,7 @@ import Data.List

2323import Data.List.NonEmpty (fromList)

2424import Text.Megaparsec ((<?>))

2525import qualified Text.Megaparsec as P

26−import qualified Text.Megaparsec.Char as P

27−import qualified Text.Megaparsec.Expr as P

26+import qualified Control.Monad.Combinators.Expr as P

2827

2928-- | Creates table for fixity declarations to build expression parser

3029-- using pre-build and user-defined operator/fixity declarations