Update optparse-applicative
commit040735df52a55ed456822857c2a8e0d253d61f05
authorThomas Scholtes <thomas-scholtes@gmx.de>
dateSun 16 Jul 2017, 20:39 (9 years ago)
parentc4ac8cb
idris.cabal+1−1
@@ -279,7 +279,7 @@ Library
279279 , ieee754 >= 0.7 && <= 0.8.0
280280 , mtl >= 2.1 && < 2.3
281281 , network < 2.7
282− , optparse-applicative >= 0.11 && < 0.14
282+ , optparse-applicative >= 0.13 && < 0.14
283283 , parsers >= 0.9 && < 0.13
284284 , pretty < 1.2
285285 , regex-tdfa >= 1.2
src/Idris/CmdOptions.hs−2
@@ -28,9 +28,7 @@ import Control.Monad.Trans.Except (throwE)
2828import Control.Monad.Trans.Reader (ask)
2929import Data.Char
3030import Data.Maybe
31−#if MIN_VERSION_optparse_applicative(0,13,0)
3231import Data.Monoid ((<>))
33−#endif
3432import Options.Applicative
3533import Options.Applicative.Arrows
3634import Options.Applicative.Types (ReadM(..))
test/TestRun.hs−2
@@ -7,9 +7,7 @@ import Control.Monad
77import Data.Char (isLetter)
88import qualified Data.IntMap as IMap
99import Data.List
10−#if MIN_VERSION_optparse_applicative(0,13,0)
1110import Data.Monoid ((<>))
12−#endif
1311import Data.Proxy
1412import Data.Typeable
1513import Options.Applicative