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
crytic · May 1, 2024 · 64ee7c3 · 64ee7c3
1 parent 0a354ab
commit 64ee7c3
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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