From 479e976cb1c0d62e670818f4d5f48d5eb9f79d59 Mon Sep 17 00:00:00 2001
From: Rob Rix <robrix@github.com>
Date: Tue, 17 Dec 2019 16:57:35 -0500
Subject: [PATCH] Disable the missing-deriving-strategies warning for code in
 ghci.

---
 .ghci.semantic | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.ghci.semantic b/.ghci.semantic
index bd2c752dd..82cacb334 100644
--- a/.ghci.semantic
+++ b/.ghci.semantic
@@ -24,3 +24,4 @@
 :seti -Wno-safe
 :seti -Wno-unsafe
 :seti -Wno-star-is-type
+:seti -Wno-missing-deriving-strategies