From 133ec67350af5e8fa1d526a54d713d0022042401 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Gr=C3=B6ber?= Date: Wed, 13 May 2015 11:02:24 +0200 Subject: [PATCH] Fix command line parsing --- src/GHCMod.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/GHCMod.hs b/src/GHCMod.hs index eff407f..49e4099 100644 --- a/src/GHCMod.hs +++ b/src/GHCMod.hs @@ -270,7 +270,7 @@ globalArgSpec = parseGlobalArgs :: [String] -> Either InvalidCommandLine (Options, [String]) parseGlobalArgs argv - = case O.getOpt' Permute globalArgSpec argv of + = case O.getOpt' RequireOrder globalArgSpec argv of (o,r,u,[]) -> Right $ (foldr id defaultOptions o, u ++ r) (_,_,u,e) -> Left $ InvalidCommandLine $ Right $ "Parsing command line options failed: "