git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3432 from steshaw/intero-tweak-in-main

Silence intero about non-exhaustive patterns in main/Main.hs

commit513bb1781175f46a6e9a4847b0b1fd339e01b225 authorNiklas Larsson <metaniklas@gmail.com> dateSun 18 Sep 2016, 22:59 (10 years ago) parent59577e6edea8da
1 file changed+2−2
compare with master
unifiedsplit
main/Main.hs+2−2
main/Main.hs+2−2
@@ -6,7 +6,6 @@ import System.Exit ( exitSuccess )
66import Idris.AbsSyntax
77import Idris.Error
88import Idris.CmdOptions
9−import Idris.Info
109import Idris.Info.Show
1110import Idris.Package
1211import Idris.Main
@@ -31,7 +30,8 @@ check opts extractOpts action = do
3130
3231processClientOptions :: [Opt] -> Idris ()
3332processClientOptions opts = check opts getClient $ \fs -> case fs of
34− (c:_) -> do
33+ [] -> ifail "No --client argument. This indicates a bug. Please report."
34+ (c : _) -> do
3535 setVerbose False
3636 setQuiet True
3737 case getPort opts of