From 64ee7c35026dbfbe5e779b9a237da9e8d137818e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Wed, 1 May 2024 18:02:04 -0300
Subject: [PATCH] Enable `eager-blackholing`

Observed a ~2% speedup on longer runs when compiling both hevm and
echidna with this flag. Besides, the Haskell documentation encourages
enabling it for parallel code:

https://downloads.haskell.org/~ghc/9.6.5/docs/users_guide/using-concurrent.html#compile-time-options-for-smp-parallelism
---
 flake.nix    | 4 ++--
 package.yaml | 1 +
 stack.yaml   | 2 +-
 3 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/flake.nix b/flake.nix
index d1071ae29..bc6220499 100644
--- a/flake.nix
+++ b/flake.nix
@@ -59,8 +59,8 @@
         hevm = pkgs: pkgs.lib.pipe (pkgs.haskellPackages.callCabal2nix "hevm" (pkgs.fetchFromGitHub {
             owner = "elopez";
             repo = "hevm";
-            rev = "3065046b2a3d2ac0ea23347ba2699a0f008d26c7";
-            sha256 = "sha256-tTgtOgNzmjaLQjJj1/bYvEp0DXabswpl47usTmfqLP8=";
+            rev = "c263a35ca676c4d10df72d3f81536e5fb0297dc2";
+            sha256 = "sha256-GO5rDgVV+Nj8OhmxEylJ0qv0hDxf+sJ1DLA8syjdNyM=";
         }) { secp256k1 = pkgs.secp256k1; })
         ([
           pkgs.haskell.lib.compose.dontCheck
diff --git a/package.yaml b/package.yaml
index 56131107f..e1b29373d 100644
--- a/package.yaml
+++ b/package.yaml
@@ -9,6 +9,7 @@ ghc-options:
   - -O2
   - -Wall
   - -fno-warn-orphans
+  - -feager-blackholing
   # https://github.com/haskell/cabal/issues/4739
   - -optP-Wno-nonportable-include-path
   - -fspecialize-aggressively
diff --git a/stack.yaml b/stack.yaml
index a8848f7f3..39a831c40 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -5,7 +5,7 @@ packages:
 
 extra-deps:
 - git: https://github.com/elopez/hevm.git
-  commit: 3065046b2a3d2ac0ea23347ba2699a0f008d26c7
+  commit: c263a35ca676c4d10df72d3f81536e5fb0297dc2
 
 - smt2-parser-0.1.0.1@sha256:1e1a4565915ed851c13d1e6b8bb5185cf5d454da3b43170825d53e221f753d77,1421
 - spawn-0.3@sha256:b91e01d8f2b076841410ae284b32046f91471943dc799c1af77d666c72101f02,1162