From 172181f1c6d7673de5422374ba5738c3eb4f7983 Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Fri, 20 Jan 2023 09:41:24 +0100
Subject: [PATCH] fix(build): reactivate optimisations and llvm backend

---
 package.yaml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/package.yaml b/package.yaml
index b07141920..23ffefda0 100644
--- a/package.yaml
+++ b/package.yaml
@@ -255,14 +255,12 @@ ghc-options:
   - -fno-warn-partial-type-signatures
   - -fno-max-relevant-binds
   - -j
-  - -freduction-depth=0
-  - +RTS -K0 -RTS
+  - -freduction-depth=0  
 when:
   - condition: flag(pedantic)
     ghc-options:
       - -Werror
-      - -fwarn-tabs
-      - -O0
+      - -fwarn-tabs      
   - condition: flag(dev)
     then:
       ghc-options:
@@ -273,7 +271,9 @@ when:
       cpp-options: -DDEVELOPMENT
     else:
       ghc-options:
-        - -O0
+        - -O
+        - -fllvm
+        - +RTS -K0 -RTS
 data-files:
   - testdata/**
 library: