From f308a7ce47a055360e8fb1b98cc451631260c695 Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Thu, 19 Jan 2023 10:09:52 +0100
Subject: [PATCH] fix build attempt

---
 package.yaml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/package.yaml b/package.yaml
index 67620954b..33b390a0f 100644
--- a/package.yaml
+++ b/package.yaml
@@ -254,9 +254,10 @@ ghc-options:
   - -fno-warn-unrecognised-pragmas
   - -fno-warn-partial-type-signatures
   - -fno-max-relevant-binds
-  - -j1
-  - -freduction-depth=400
-  - -split-sections
+  - -j1  
+  - -freduction-depth=0
+  - --enable-split-sections
+  # -freduction-depth=400 for type simplification is not enough, types are already more complicated
 when:
   - condition: flag(pedantic)
     ghc-options: