Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 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 c4ee24461e
commit a09448cd5a
2 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

@ -40,10 +40,10 @@ haddock:
cabal haddock --haddock-html --haddock-hoogle --builddir=haddock cabal haddock --haddock-html --haddock-hoogle --builddir=haddock
tag: tag:
hasktags -x agora agora-bench agora-test hasktags -x agora agora-bench agora-test agora-testlib agora-sample agora-purescript-bridge
lint: lint:
hlint agora agora-bench agora-test hlint agora agora-bench agora-test agora-testlib agora-sample agora-purescript-bridge
PS_BRIDGE_OUTPUT_DIR := agora-purescript-bridge/ PS_BRIDGE_OUTPUT_DIR := agora-purescript-bridge/
ps_bridge: ps_bridge:

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

@ -14,8 +14,8 @@ data Options = Options
outputOpt :: Opt.Parser FilePath outputOpt :: Opt.Parser FilePath
outputOpt = outputOpt =
srcFilePath srcFilePath
<$> ( Opt.strOption $ <$> Opt.strOption
Opt.long "output-path" ( Opt.long "output-path"
<> Opt.short 'o' <> Opt.short 'o'
<> Opt.metavar "OUTPUT_PATH" <> Opt.metavar "OUTPUT_PATH"
<> Opt.value "./" <> Opt.value "./"