diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-01-10 15:36:54 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-01-11 00:06:54 -0400 |
| commit | abdacf58ed5d0da0439819feb669b04b2368bb92 (patch) | |
| tree | 77694958b647c8015104d1d8151a744a03666070 /CmdLine.hs | |
| parent | 16e7178f207b0472346c06f30aa210cebe373c36 (diff) | |
tweaks
Diffstat (limited to 'CmdLine.hs')
| -rw-r--r-- | CmdLine.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CmdLine.hs b/CmdLine.hs index 6ac0b423f..68157a01a 100644 --- a/CmdLine.hs +++ b/CmdLine.hs @@ -47,7 +47,7 @@ dispatch args cmds commonoptions header getgitrepo = do - the Command being run, and the remaining parameters for the command. -} parseCmd :: Params -> [Command] -> [Option] -> String -> (Flags, Command, Params) parseCmd argv cmds commonoptions header - | name == Nothing = err "missing command" + | isNothing name = err "missing command" | null matches = err $ "unknown command " ++ fromJust name | otherwise = check $ getOpt Permute (commonoptions ++ cmdoptions cmd) args where |