Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix lint/tag; run linter

Browse source
This commit is contained in:
fanghr 2022-05-13 20:30:11 +08:00
parent b363b326f3
commit a90b2337dc
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
2 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

14
agora-purescript-bridge/Options.hs
View file

@ -14,13 +14,13 @@ data Options = Options
outputOpt :: Opt.Parser FilePath
outputOpt =
srcFilePath
<$> ( Opt.strOption $
Opt.long "output-path"
<> Opt.short 'o'
<> Opt.metavar "OUTPUT_PATH"
<> Opt.value "./"
<> Opt.help "Output purescripts will be in OUTPUT_PATH/src"
)
<$> Opt.strOption
( Opt.long "output-path"
<> Opt.short 'o'
<> Opt.metavar "OUTPUT_PATH"
<> Opt.value "./"
<> Opt.help "Output purescripts will be in OUTPUT_PATH/src"
)
quietOpt :: Opt.Parser Bool
quietOpt =