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

git.iko.soy/Idris-dev

on master help sign in

Remove unnecesary imports and fix small hlint warning

80b60a6Joseph Morag8 years ago

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

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

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

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

28import qualified Text.Megaparsec as P

29−import qualified Text.Megaparsec.Char as P

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

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

32type PParser = Parser PkgDesc

31type PParser = Parser PkgDesc

34parseDesc :: FilePath -> IO PkgDesc

33parseDesc :: FilePath -> IO PkgDesc

35parseDesc fp = do

34parseDesc fp = do

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

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

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

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

38 exitWith (ExitFailure 1)

37 exitWith (ExitFailure 1)

39 res <- doesFileExist fp

38 res <- doesFileExist fp

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

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

23import Data.List.NonEmpty (fromList)

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

25import qualified Text.Megaparsec as P

26−import qualified Text.Megaparsec.Char as P

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

27−import qualified Text.Megaparsec.Expr as P

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

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

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

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