Fix for optparse-applicative breaking change
commitd9b4c4cfec6aefa290de91951ddf950374fc0f51
authorRyanGlScott <ryan.gl.scott@ku.edu>
dateSat 4 Oct 2014, 18:25 (12 years ago)
parent7dfbfac
idris.cabal+1−1
@@ -701,7 +701,7 @@ Library
701701 , lens >= 4.1.1 && < 4.5
702702 , mtl < 2.3
703703 , network < 2.7
704− , optparse-applicative >= 0.10 && < 0.11
704+ , optparse-applicative >= 0.11 && < 0.12
705705 , parsers >= 0.9 && < 0.13
706706 , pretty < 1.2
707707 , 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]