@@ -6,7 +6,6 @@ import System.Exit ( exitSuccess )
6import Idris.AbsSyntax
6import Idris.AbsSyntax
7import Idris.Error
7import Idris.Error
8import Idris.CmdOptions
8import Idris.CmdOptions
10import Idris.Info.Show
9import Idris.Info.Show
11import Idris.Package
10import Idris.Package
12import Idris.Main
11import Idris.Main
@@ -31,7 +30,8 @@ check opts extractOpts action = do
32processClientOptions :: [Opt] -> Idris ()
31processClientOptions :: [Opt] -> Idris ()
33processClientOptions opts = check opts getClient $ \fs -> case fs of
32processClientOptions opts = check opts getClient $ \fs -> case fs of
33+ [] -> ifail "No --client argument. This indicates a bug. Please report."
34− (c:_) -> do
34+ (c : _) -> do
35 setVerbose False
35 setVerbose False
36 setQuiet True
36 setQuiet True
37 case getPort opts of
37 case getPort opts of