From 7ddf1bfec4377f98455c63c1aa27bea979d14b20 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?=
 <2642849+elopez@users.noreply.github.com>
Date: Mon, 15 Apr 2024 11:28:18 -0300
Subject: [PATCH] Adjust default GC allocation area (#1228)

Experimentally, a value of between 32~64M appears to perform the best

https://downloads.haskell.org/ghc/latest/docs/users_guide/runtime_control.html#rts-flag--A%20%E2%9F%A8size%E2%9F%A9
---
 package.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/package.yaml b/package.yaml
index 657cef0d3..926c6b8ec 100644
--- a/package.yaml
+++ b/package.yaml
@@ -87,7 +87,9 @@ executables:
     main: Main.hs
     source-dirs: src/
     dependencies: echidna
-    ghc-options: -threaded -with-rtsopts=-N
+    ghc-options:
+      - -threaded
+      - '"-with-rtsopts=-A64m -N"'
     when:
       - condition: (os(linux) || os(windows)) && flag(static)
         ghc-options: