From c7f8663f7150f8eea75b163704ec352fa09c9528 Mon Sep 17 00:00:00 2001 From: Steffen Jost Date: Wed, 19 Apr 2023 15:27:48 +0000 Subject: [PATCH] chore(build): fix ghc options --- package.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/package.yaml b/package.yaml index 4969e3422..3b250dd6b 100644 --- a/package.yaml +++ b/package.yaml @@ -256,6 +256,8 @@ ghc-options: - -fno-max-relevant-binds - -j - -freduction-depth=0 + - -prof + - -fprof-auto when: - condition: flag(pedantic) ghc-options: @@ -345,8 +347,6 @@ tests: ghc-options: - -fno-warn-orphans - -threaded -rtsopts "-with-rtsopts=-N -T" - - -prof - - -fprof-auto hlint: main: Hlint.hs other-modules: []