-v option for ghc-mod (#304)
This commit is contained in:
parent
d5733874e0
commit
bc4bfe1752
@ -65,6 +65,9 @@ argspec = [ Option "l" ["tolisp"]
|
|||||||
, Option "g" ["ghcOpt"]
|
, Option "g" ["ghcOpt"]
|
||||||
(ReqArg (\g opts -> opts { ghcUserOptions = g : ghcUserOptions opts }) "ghcOpt")
|
(ReqArg (\g opts -> opts { ghcUserOptions = g : ghcUserOptions opts }) "ghcOpt")
|
||||||
"GHC options"
|
"GHC options"
|
||||||
|
, Option "v" ["verbose"]
|
||||||
|
(NoArg (\opts -> opts { ghcUserOptions = "-v" : ghcUserOptions opts }))
|
||||||
|
"verbose"
|
||||||
, Option "o" ["operators"]
|
, Option "o" ["operators"]
|
||||||
(NoArg (\opts -> opts { operators = True }))
|
(NoArg (\opts -> opts { operators = True }))
|
||||||
"print operators, too"
|
"print operators, too"
|
||||||
|
Loading…
Reference in New Issue
Block a user