From f39938d7efaebfc680da49f26383c2c8410cfe75 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 16 Nov 2020 14:41:52 -0800
Subject: [PATCH] stack: ghc-options notes

---
 stack.yaml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/stack.yaml b/stack.yaml
index c35655bb8..9ac39bb51 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -29,3 +29,10 @@ extra-deps:
 # tell GHC to write hie files, eg for weeder. Rumoured to be slow.
 # ghc-options:
 #   "$locals": -fwrite-ide-info
+
+# ghc-options:
+#   "$locals": -ddump-timings
+#  "$targets": -Werror
+#  "$everything": -O2
+#  some-package: -DSOME_CPP_FLAG
+