@@ -1,7 +1,6 @@
11module Main where
22
33import Control.Monad ( when )
4−import Safe (headNote)
54import System.Exit ( exitSuccess )
65
76import Idris.AbsSyntax
@@ -30,14 +29,15 @@ check opts extractOpts action = do
3029 runIO exitSuccess
3130
3231processClientOptions :: [Opt] -> Idris ()
33−processClientOptions opts = check opts getClient $ \fs -> do
34− let c = headNote "No --client argument. This indicates a bug. Please report." fs
35− setVerbose False
36− setQuiet True
37− case getPort opts of
38− Just DontListen -> ifail "\"--client\" and \"--port none\" are incompatible"
39− Just (ListenPort port) -> runIO $ runClient (Just port) c
40− Nothing -> runIO $ runClient Nothing c
32+processClientOptions opts = check opts getClient $ \fs -> case fs of
33+ [] -> ifail "No --client argument. This indicates a bug. Please report."
34+ (c : _) -> do
35+ setVerbose False
36+ setQuiet True
37+ case getPort opts of
38+ Just DontListen -> ifail "\"--client\" and \"--port none\" are incompatible"
39+ Just (ListenPort port) -> runIO $ runClient (Just port) c
40+ Nothing -> runIO $ runClient Nothing c
4141
4242processPackageOptions :: [Opt] -> Idris ()
4343processPackageOptions opts = do