Merge pull request #1585 from RyanGlScott/master
Fix for optparse-applicative breaking change
commit9d1d5080e6f2c27432165b32f0ab54cf0c5b1b9d
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 8 Oct 2014, 10:45 (12 years ago)
parent457b08ad9b4c4c
idris.cabal+1−1
@@ -704,7 +704,7 @@ Library
704704 , lens >= 4.1.1 && < 4.5
705705 , mtl < 2.3
706706 , network < 2.7
707− , optparse-applicative >= 0.10 && < 0.11
707+ , optparse-applicative >= 0.11 && < 0.12
708708 , parsers >= 0.9 && < 0.13
709709 , pretty < 1.2
710710 , process < 1.3
src/Idris/CmdOptions.hs+1−1
@@ -64,7 +64,7 @@ pureArgParser args = case getParseResult $ execParserPure (prefs idm) (info pars
6464parser :: Parser [Opt]
6565parser = runA $ proc () -> do
6666 flags <- asA parseFlags -< ()
67− files <- asA (many $ argument ((fmap . fmap) Filename str) (metavar "FILES")) -< ()
67+ files <- asA (many $ argument (fmap Filename str) (metavar "FILES")) -< ()
6868 A parseVersion >>> A helper -< (flags ++ files)
6969
7070parseFlags :: Parser [Opt]