git.iko.soy/Idris-dev
on master help sign in
Fix for optparse-applicative breaking change
d9b4c4cRyanGlScott
idris.cabal+1−1
compare with master
unifiedsplit
@@ -701,7 +701,7 @@ Library
701 , lens >= 4.1.1 && < 4.5
701 , lens >= 4.1.1 && < 4.5
702 , mtl < 2.3
702 , mtl < 2.3
703 , network < 2.7
703 , network < 2.7
704− , optparse-applicative >= 0.10 && < 0.11
704+ , optparse-applicative >= 0.11 && < 0.12
705 , parsers >= 0.9 && < 0.13
705 , parsers >= 0.9 && < 0.13
706 , pretty < 1.2
706 , pretty < 1.2
707 , process < 1.3
707 , 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]