git.iko.soy/Idris-dev
on master help sign in
Update optparse-applicative
040735dThomas Scholtes
idris.cabal+1−1
compare with master
unifiedsplit
@@ -279,7 +279,7 @@ Library
279 , ieee754 >= 0.7 && <= 0.8.0
279 , ieee754 >= 0.7 && <= 0.8.0
280 , mtl >= 2.1 && < 2.3
280 , mtl >= 2.1 && < 2.3
281 , network < 2.7
281 , network < 2.7
282− , optparse-applicative >= 0.11 && < 0.14
282+ , optparse-applicative >= 0.13 && < 0.14
283 , parsers >= 0.9 && < 0.13
283 , parsers >= 0.9 && < 0.13
284 , pretty < 1.2
284 , pretty < 1.2
285 , regex-tdfa >= 1.2
285 , regex-tdfa >= 1.2
src/Idris/CmdOptions.hs−2
@@ -28,9 +28,7 @@ import Control.Monad.Trans.Except (throwE)
28import Control.Monad.Trans.Reader (ask)
28import Control.Monad.Trans.Reader (ask)
29import Data.Char
29import Data.Char
30import Data.Maybe
30import Data.Maybe
31−#if MIN_VERSION_optparse_applicative(0,13,0)
32import Data.Monoid ((<>))
31import Data.Monoid ((<>))
33−#endif
34import Options.Applicative
32import Options.Applicative
35import Options.Applicative.Arrows
33import Options.Applicative.Arrows
36import Options.Applicative.Types (ReadM(..))
34import Options.Applicative.Types (ReadM(..))
test/TestRun.hs−2
@@ -7,9 +7,7 @@ import Control.Monad
7import Data.Char (isLetter)
7import Data.Char (isLetter)
8import qualified Data.IntMap as IMap
8import qualified Data.IntMap as IMap
9import Data.List
9import Data.List
10−#if MIN_VERSION_optparse_applicative(0,13,0)
11import Data.Monoid ((<>))
10import Data.Monoid ((<>))
12−#endif
13import Data.Proxy
11import Data.Proxy
14import Data.Typeable
12import Data.Typeable
15import Options.Applicative
13import Options.Applicative