Remove unnecessary "map snd"

This commit is contained in:
Joseph C. Sible 2020-02-01 22:50:19 -05:00
parent 5487b3f229
commit d7278b95f2
1 changed files with 1 additions and 2 deletions

View File

@ -997,8 +997,7 @@ missingDestination handler token = do
args = getAllFlags token args = getAllFlags token
params = map fst $ filter (\(_,x) -> x == "") args params = map fst $ filter (\(_,x) -> x == "") args
hasTarget = hasTarget =
any (\x -> x /= "" && x `isPrefixOf` "target-directory") $ any (\(_,x) -> x /= "" && x `isPrefixOf` "target-directory") args
map snd args
prop_checkMvArguments1 = verify checkMvArguments "mv 'foo bar'" prop_checkMvArguments1 = verify checkMvArguments "mv 'foo bar'"
prop_checkMvArguments2 = verifyNot checkMvArguments "mv foo bar" prop_checkMvArguments2 = verifyNot checkMvArguments "mv foo bar"