provide a new option, --ideslave-socket, for an ideslave listening on a socket
commitbe0a480a90d24dd9a0e88fbc0a0f78c8caa6c042
authorHannes Mehnert <hannes@mehnert.org>
dateSat 2 Aug 2014, 20:59 (12 years ago)
parent7a3b2e7
src/Idris/AbsSyntaxTree.hs+1
@@ -358,6 +358,7 @@ data Opt = Filename String
358358 | NoBanner
359359 | ColourREPL Bool
360360 | Ideslave
361+ | IdeslaveSocket
361362 | ShowLibs
362363 | ShowLibdir
363364 | ShowIncs
src/Idris/CmdOptions.hs+1
@@ -71,6 +71,7 @@ parseFlags = many $
7171 flag' NoBanner (long "nobanner" <> help "Suppress the banner")
7272 <|> flag' Quiet (short 'q' <> long "quiet" <> help "Quiet verbosity")
7373 <|> flag' Ideslave (long "ideslave")
74+ <|> flag' IdeslaveSocket (long "ideslave-socket")
7475 <|> (Client <$> strOption (long "client"))
7576 <|> (OLogging <$> option (long "log" <> metavar "LEVEL" <> help "Debugging log level"))
7677 <|> flag' NoBasePkgs (long "nobasepkgs")
src/Idris/REPL.hs+1−1
@@ -1238,7 +1238,7 @@ idrisMain opts =
12381238 do let inputs = opt getFile opts
12391239 let quiet = Quiet `elem` opts
12401240 let nobanner = NoBanner `elem` opts
1241− let idesl = Ideslave `elem` opts
1241+ let idesl = Ideslave `elem` opts || IdeslaveSocket `elem` opts
12421242 let runrepl = not (NoREPL `elem` opts)
12431243 let verbose = runrepl || Verbose `elem` opts
12441244 let output = opt getOutput opts