From 04931bb0dbff4b6cd636977b8b91e7530c657bb1 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 16 Mar 2020 11:18:04 -0700
Subject: [PATCH] ;stack: generate ide info files (disabled)

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

diff --git a/stack.yaml b/stack.yaml
index ec8f23c24..4d6e90291 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -26,3 +26,7 @@ extra-deps:
 # apply-ghc-options: everything
 # rebuild-ghc-options: true
 # stack build --profile --ghc-options="-fno-prof-auto"
+
+# tell GHC to write hie files, eg for weeder. Rumoured to be slow.
+# ghc-options:
+#   "$locals": -fwrite-ide-info