From 7f0a45fa4a96dca66e5e0c6e434d8d33a26af476 Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Fri, 20 Jan 2023 08:42:35 +0100
Subject: [PATCH] another attempt to fix build

---
 package.yaml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/package.yaml b/package.yaml
index d6dbf4805..32bf3922d 100644
--- a/package.yaml
+++ b/package.yaml
@@ -256,21 +256,25 @@ ghc-options:
   - -fno-max-relevant-binds
   - -j
   - -freduction-depth=0
+  - +RTS -K0 -RTS
 when:
   - condition: flag(pedantic)
     ghc-options:
       - -Werror
       - -fwarn-tabs
+      - -O0
   - condition: flag(dev)
     then:
       ghc-options:
         - -O0
         - -ddump-splices
         - -ddump-to-file
+        - -Wderiving-typeable
       cpp-options: -DDEVELOPMENT
     else:
       ghc-options:
-        - -O
+        - -O0        
+        # -fllvm
 data-files:
   - testdata/**
 library: