diff options
author | stuebinm | 2022-02-18 18:09:23 +0100 |
---|---|---|
committer | stuebinm | 2022-03-19 19:54:48 +0100 |
commit | 52bf0fa6dace596a4bd5b4e4229fbb9704fbf443 (patch) | |
tree | 971604d125e2faba93db8845224a2d43ee645935 /package.yaml | |
parent | 53fb449b008e9b6aed9877b9d33f4026e454e0f9 (diff) |
switch to universum prelude
also don't keep adjusted maps around if not necessary
Diffstat (limited to 'package.yaml')
-rw-r--r-- | package.yaml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/package.yaml b/package.yaml index 7cd6130..4acf9e8 100644 --- a/package.yaml +++ b/package.yaml @@ -6,9 +6,11 @@ author: stuebinm maintainer: stuebinm@disroot.org copyright: 2022 stuebinm ghc-options: -Wall -Wno-name-shadowing -Wno-unticked-promoted-constructors +default-extensions: NoImplicitPrelude dependencies: - base + - universum - aeson - bytestring - mtl @@ -54,8 +56,7 @@ executables: walint-server: main: Main.hs source-dirs: 'server' - default-extensions: - - NoImplicitPrelude + ghc-options: -rtsopts -threaded dependencies: - walint - universum |