Removed deprecated command line flags.
commit743e0d6110b56be1936091537ff2b474f2e507c3
authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk>
dateTue 29 Mar 2016, 13:21 (11 years ago)
parent8df6b32
CHANGELOG+2
@@ -9,6 +9,8 @@ New in 0.12:
99 logging level and categories, default totality check, warn reach,
1010 IBC output folder, and idris path.
1111
12+* Remove deprecated options `--ideslave` and `--ideslave-socket`. These options
13+ were replaced with `--ide-mode` and `--ide-mode-socket` in 0.9.17
1214
1315New in 0.11:
1416============
src/Idris/CmdOptions.hs−2
@@ -81,8 +81,6 @@ parseFlags = many $
8181 -- IDE Mode Specific Flags
8282 <|> flag' Idemode (long "ide-mode" <> help "Run the Idris REPL with machine-readable syntax")
8383 <|> flag' IdemodeSocket (long "ide-mode-socket" <> help "Choose a socket for IDE mode to listen on")
84− <|> flag' Idemode (long "ideslave" <> help "Deprecated version of --ide-mode") -- TODO: Remove in v0.9.18
85− <|> flag' IdemodeSocket (long "ideslave-socket" <> help "Deprecated version of --ide-mode-socket") -- TODO: Remove in v0.9.18
8684 <|> (Client <$> strOption (long "client"))
8785 -- Logging Flags
8886 <|> (OLogging <$> option auto (long "log" <> metavar "LEVEL" <> help "Debugging log level"))