git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1585 from RyanGlScott/master
9d1d508Edwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -704,7 +704,7 @@ Library
704 , lens >= 4.1.1 && < 4.5
704 , lens >= 4.1.1 && < 4.5
705 , mtl < 2.3
705 , mtl < 2.3
706 , network < 2.7
706 , network < 2.7
707− , optparse-applicative >= 0.10 && < 0.11
707+ , optparse-applicative >= 0.11 && < 0.12
708 , parsers >= 0.9 && < 0.13
708 , parsers >= 0.9 && < 0.13
709 , pretty < 1.2
709 , pretty < 1.2
710 , process < 1.3
710 , process < 1.3
src/Idris/CmdOptions.hs+1−1
@@ -64,7 +64,7 @@ pureArgParser args = case getParseResult $ execParserPure (prefs idm) (info pars
64parser :: Parser [Opt]
64parser :: Parser [Opt]
65parser = runA $ proc () -> do
65parser = runA $ proc () -> do
66 flags <- asA parseFlags -< ()
66 flags <- asA parseFlags -< ()
67− files <- asA (many $ argument ((fmap . fmap) Filename str) (metavar "FILES")) -< ()
67+ files <- asA (many $ argument (fmap Filename str) (metavar "FILES")) -< ()
68 A parseVersion >>> A helper -< (flags ++ files)
68 A parseVersion >>> A helper -< (flags ++ files)
69
69
70parseFlags :: Parser [Opt]
70parseFlags :: Parser [Opt]