From df9e7fa1b28d459472bc9ab75046e3ef383f4775 Mon Sep 17 00:00:00 2001
From: Rob Rix <robrix@github.com>
Date: Wed, 30 Oct 2019 15:44:58 -0400
Subject: [PATCH] Note how we came by this.

---
 .ghci | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.ghci b/.ghci
index 7e2d18d8f..97b2d5298 100644
--- a/.ghci
+++ b/.ghci
@@ -1,3 +1,5 @@
+-- GHCI settings for semantic, collected by running cabal repl -v and checking out the flags cabal passes to ghc.
+
 -- Basic verbosity & compiler parallelization
 :set -j -v1