Unset dynflags rather than change their values

isovector · Jul 21, 2021 · 940c535 · 940c535
1 parent 73c55f8
commit 940c535
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs b/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
   }