Merge branch 'master' into connor/governor

This commit is contained in:
fanghr 2022-05-14 00:40:26 +08:00
commit cbf14337ff
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
18 changed files with 1103 additions and 8 deletions

View file

@ -120,6 +120,9 @@ common test-deps
, tasty-hedgehog
, tasty-hunit
common exe-opts
ghc-options: -threaded -rtsopts -with-rtsopts=-N -O0
library
import: lang, deps
exposed-modules:
@ -200,3 +203,17 @@ benchmark agora-bench
main-is: Main.hs
type: exitcode-stdio-1.0
build-depends: agora
executable agora-purescript-bridge
import: lang, deps, exe-opts
main-is: Bridge.hs
build-depends:
, agora
, optparse-applicative
, path
, purescript-bridge
hs-source-dirs: agora-purescript-bridge
other-modules:
AgoraTypes
Options