@@ -1,12 +1,12 @@
1module Main where
1module Main where
3import Control.Monad ( when )
3import Control.Monad ( when )
4import System.Exit ( exitSuccess )
5import System.Exit ( exitSuccess )
6import Idris.AbsSyntax
7import Idris.AbsSyntax
7import Idris.Error
8import Idris.Error
8import Idris.CmdOptions
9import Idris.CmdOptions
10import Idris.Info.Show
10import Idris.Info.Show
11import Idris.Package
11import Idris.Package
12import Idris.Main
12import Idris.Main
@@ -30,14 +30,14 @@ check opts extractOpts action = do
30 runIO exitSuccess
30 runIO exitSuccess
32processClientOptions :: [Opt] -> Idris ()
32processClientOptions :: [Opt] -> Idris ()
33−processClientOptions opts = check opts getClient $ \fs -> case fs of
33+processClientOptions opts = check opts getClient $ \fs -> do
34− (c:_) -> do
34+ let c = headNote "No --client argument. This indicates a bug. Please report." fs
35− setVerbose False
35+ setVerbose False
36− setQuiet True
36+ setQuiet True
37− case getPort opts of
37+ case getPort opts of
38− Just DontListen -> ifail "\"--client\" and \"--port none\" are incompatible"
38+ Just DontListen -> ifail "\"--client\" and \"--port none\" are incompatible"
39− Just (ListenPort port) -> runIO $ runClient (Just port) c
39+ Just (ListenPort port) -> runIO $ runClient (Just port) c
40− Nothing -> runIO $ runClient Nothing c
40+ Nothing -> runIO $ runClient Nothing c
42processPackageOptions :: [Opt] -> Idris ()
42processPackageOptions :: [Opt] -> Idris ()
43processPackageOptions opts = do
43processPackageOptions opts = do