From b3c083f4d41f0c3c273a49081b38f410a056a8da Mon Sep 17 00:00:00 2001
From: Steffen Jost <jost@tcs.ifi.lmu.de>
Date: Thu, 20 Apr 2023 19:13:55 +0200
Subject: [PATCH] chore(debug): add rts option for stack trace

---
 package.yaml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/package.yaml b/package.yaml
index 08a3b8edc..99c9bb23d 100644
--- a/package.yaml
+++ b/package.yaml
@@ -262,6 +262,7 @@ when:
     ghc-options:
       - -Werror
       - -fwarn-tabs
+      - +RTS -K0 -xc -RTS
   - condition: flag(dev)
     then:
       ghc-options:
@@ -274,7 +275,7 @@ when:
       ghc-options:
         - -O
         - -fllvm
-        - +RTS -K0 -RTS
+        - +RTS -K0 -xc -RTS
 data-files:
   - testdata/**
 library: