summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--erebos.cabal1
1 files changed, 1 insertions, 0 deletions
diff --git a/erebos.cabal b/erebos.cabal
index 97a95ec..5a17a40 100644
--- a/erebos.cabal
+++ b/erebos.cabal
@@ -45,6 +45,7 @@ source-repository head
common common
ghc-options:
-Wall
+ -Wno-x-partial
-fdefer-typed-holes
if flag(ci)