From 25bc46a2af1b372e53fcb12448b471e51ab7e3ad Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Thu, 19 Jan 2023 09:53:04 +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 09f82269b..1161b08e8 100644
--- a/package.yaml
+++ b/package.yaml
@@ -242,7 +242,7 @@ default-extensions:
   - TypeFamilyDependencies
   - QuantifiedConstraints
   - EmptyDataDeriving
-  - StandaloneKindSignatures
+  - StandaloneKindSignaturesf
   - NoStarIsType
 ghc-options:
   - -Wall
@@ -254,8 +254,9 @@ ghc-options:
   - -fno-warn-unrecognised-pragmas
   - -fno-warn-partial-type-signatures
   - -fno-max-relevant-binds
-  - -j
-  - -freduction-depth=0
+  - -j1
+  - -freduction-depth=400
+  - -split-sections
 when:
   - condition: flag(pedantic)
     ghc-options: