on master help sign in
Merge branch 'suhorng-master'
c64f2c2David Raymond Christiansen
idris.cabal+1−1
@@ -699,7 +699,7 @@ Library
699 , xml
699 , xml
700 , deepseq
700 , deepseq
701 , zlib
701 , zlib
702− , optparse-applicative >= 0.8
702+ , optparse-applicative >= 0.10
703 Extensions: MultiParamTypeClasses
703 Extensions: MultiParamTypeClasses
704 , DeriveFoldable
704 , DeriveFoldable
705 , DeriveTraversable
705 , DeriveTraversable
src/Idris/CmdOptions.hs+3−4
@@ -57,7 +57,7 @@ runArgParser = do opts <- execParser $ info parser
57
57
58
58
59pureArgParser :: [String] -> [Opt]
59pureArgParser :: [String] -> [Opt]
60−pureArgParser args = case execParserMaybe (info parser idm) args of
60+pureArgParser args = case getParseResult $ execParserPure (prefs idm) (info parser idm) args of
61 Just opts -> preProcOpts opts []
61 Just opts -> preProcOpts opts []
62 Nothing -> []
62 Nothing -> []
63
63
@@ -74,7 +74,7 @@ parseFlags = many $
74 <|> flag' Ideslave (long "ideslave")
74 <|> flag' Ideslave (long "ideslave")
75 <|> flag' IdeslaveSocket (long "ideslave-socket")
75 <|> flag' IdeslaveSocket (long "ideslave-socket")
76 <|> (Client <$> strOption (long "client"))
76 <|> (Client <$> strOption (long "client"))
77− <|> (OLogging <$> option (long "log" <> metavar "LEVEL" <> help "Debugging log level"))
77+ <|> (OLogging <$> option auto (long "log" <> metavar "LEVEL" <> help "Debugging log level"))
78 <|> flag' NoBasePkgs (long "nobasepkgs")
78 <|> flag' NoBasePkgs (long "nobasepkgs")
79 <|> flag' NoPrelude (long "noprelude")
79 <|> flag' NoPrelude (long "noprelude")
80 <|> flag' NoBuiltins (long "nobuiltins")
80 <|> flag' NoBuiltins (long "nobuiltins")
@@ -120,7 +120,7 @@ parseFlags = many $
120 <|> flag' (OptLevel 2) (long "O2")
120 <|> flag' (OptLevel 2) (long "O2")
121 <|> flag' (OptLevel 1) (long "O1")
121 <|> flag' (OptLevel 1) (long "O1")
122 <|> flag' (OptLevel 0) (long "O0")
122 <|> flag' (OptLevel 0) (long "O0")
123− <|> (OptLevel <$> option (short 'O' <> long "level"))
123+ <|> (OptLevel <$> option auto (short 'O' <> long "level"))
124 <|> (TargetTriple <$> strOption (long "target" <> metavar "TRIPLE" <> help "Select target triple (for llvm codegen)"))
124 <|> (TargetTriple <$> strOption (long "target" <> metavar "TRIPLE" <> help "Select target triple (for llvm codegen)"))
125 <|> (TargetCPU <$> strOption (long "cpu" <> metavar "CPU" <> help "Select target CPU e.g. corei7 or cortex-m3 (for LLVM codegen)"))
125 <|> (TargetCPU <$> strOption (long "cpu" <> metavar "CPU" <> help "Select target CPU e.g. corei7 or cortex-m3 (for LLVM codegen)"))
126 <|> flag' (ColourREPL True) (long "colour" <> long "color" <> help "Force coloured output")
126 <|> flag' (ColourREPL True) (long "colour" <> long "color" <> help "Force coloured output")
@@ -144,4 +144,3 @@ preProcOpts (x:xs) ys = preProcOpts xs (x:ys)
144parseCodegen :: String -> Codegen
144parseCodegen :: String -> Codegen
145parseCodegen "bytecode" = Bytecode
145parseCodegen "bytecode" = Bytecode
146parseCodegen cg = Via (map toLower cg)
146parseCodegen cg = Via (map toLower cg)
147−