Fix more warnings

michaelpj · michaelpj · commit f07c2ff60bf7 · 2023-06-10T16:15:53.000+01:00
diff --git a/plugins/hls-tactics-plugin/old/src/Wingman/LanguageServer.hs b/plugins/hls-tactics-plugin/old/src/Wingman/LanguageServer.hs
@@ -5,6 +5,9 @@
 
 {-# LANGUAGE NoMonoLocalBinds  #-}
 
+-- Some versions of GHC are cleverer about this
+{-# OPTIONS_GHC -Wno-redundant-constraints #-}
+
 module Wingman.LanguageServer where
 
 import           Control.Arrow ((***))
