Unset dynflags rather than change their values

Author: isovector

Diff for: plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs

@@ -20,15 +20,11 @@ staticPlugin = mempty
   { dynFlagsModifyGlobal =
       \df -> allowEmptyCaseButWithWarning
            $ flip gopt_unset Opt_SortBySubsumHoleFits
+           $ flip gopt_unset Opt_ShowValidHoleFits
            $ df
-             { refLevelHoleFits = Just 0
-             , maxRefHoleFits   = Just 0
-             , maxValidHoleFits = Just 0
 #if __GLASGOW_HASKELL__ >= 808
-             , staticPlugins = staticPlugins df <> [metaprogrammingPlugin]
-#endif
+             { staticPlugins = staticPlugins df <> [metaprogrammingPlugin]
              }
-#if __GLASGOW_HASKELL__ >= 808
   , dynFlagsModifyParser = enableQuasiQuotes
 #endif
   }