diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-03-26 20:13:52 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-03-27 20:21:08 +0100 |
| commit | 91de9a3ffbe1fcc1147cdcac02380b2fe35d3b8e (patch) | |
| tree | 1fab32f430f52caa659ed3b30d4db232528a8082 | |
| parent | 03f37ea3a7e77eb79381ca41c6612c38bd5727d9 (diff) | |
Disable -Wx-partial for now
| -rw-r--r-- | erebos.cabal | 1 |
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) |