be0a480 · Idris-dev · git.iko.soy

src/Idris/AbsSyntaxTree.hs+1

@@ -358,6 +358,7 @@ data Opt = Filename String

358 | NoBanner

359 | ColourREPL Bool

360 | Ideslave

361+ | IdeslaveSocket

361 | ShowLibs

362 | ShowLibs

362 | ShowLibdir

363 | ShowLibdir

363 | ShowIncs

364 | ShowIncs

src/Idris/CmdOptions.hs+1

@@ -71,6 +71,7 @@ parseFlags = many $

71 flag' NoBanner (long "nobanner" <> help "Suppress the banner")

72 <|> flag' Quiet (short 'q' <> long "quiet" <> help "Quiet verbosity")

73 <|> flag' Ideslave (long "ideslave")

74+ <|> flag' IdeslaveSocket (long "ideslave-socket")

74 <|> (Client <$> strOption (long "client"))

75 <|> (Client <$> strOption (long "client"))

75 <|> (OLogging <$> option (long "log" <> metavar "LEVEL" <> help "Debugging log level"))

76 <|> (OLogging <$> option (long "log" <> metavar "LEVEL" <> help "Debugging log level"))

76 <|> flag' NoBasePkgs (long "nobasepkgs")

77 <|> flag' NoBasePkgs (long "nobasepkgs")

src/Idris/REPL.hs+1−1

@@ -1238,7 +1238,7 @@ idrisMain opts =

1238 do let inputs = opt getFile opts

1239 let quiet = Quiet `elem` opts

1240 let nobanner = NoBanner `elem` opts

1241− let idesl = Ideslave `elem` opts

1241+ let idesl = Ideslave `elem` opts || IdeslaveSocket `elem` opts

1242 let runrepl = not (NoREPL `elem` opts)

1243 let verbose = runrepl || Verbose `elem` opts

1244 let output = opt getOutput opts