Merge pull request idris-lang#3432 from steshaw/intero-tweak-in-main

Silence intero about non-exhaustive patterns in main/Main.hs
iuliandumitru · Sep 18, 2016 · 513bb17 · 513bb17
2 parents 59577e6 + edea8da
commit 513bb17
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/main/Main.hs b/main/Main.hs
@@ -6,7 +6,6 @@ import System.Exit ( exitSuccess )
 import Idris.AbsSyntax
 import Idris.Error
 import Idris.CmdOptions
-import Idris.Info
 import Idris.Info.Show
 import Idris.Package
 import Idris.Main
@@ -31,7 +30,8 @@ check opts extractOpts action = do
 
 processClientOptions :: [Opt] -> Idris ()
 processClientOptions opts = check opts getClient $ \fs -> case fs of
-  (c:_) -> do
+  []      -> ifail "No --client argument. This indicates a bug. Please report."
+  (c : _) -> do
     setVerbose False
     setQuiet True
     case getPort opts of