haskell · mergify · Jul 23, 2021 · May 28, 2021 · May 28, 2021 · Jun 4, 2021
diff --git a/plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs b/plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs
@@ -19,9 +19,16 @@ staticPlugin :: DynFlagsModifications
 staticPlugin = mempty
   { dynFlagsModifyGlobal =
       \df -> allowEmptyCaseButWithWarning
+           $ flip gopt_unset Opt_SortBySubsumHoleFits
            $ df
+             { refLevelHoleFits = Just 0
+             , maxRefHoleFits   = Just 0
+             , maxValidHoleFits = Just 0
+#if __GLASGOW_HASKELL__ >= 808
+             , staticPlugins = staticPlugins df <> [metaprogrammingPlugin]
+#endif
+             }
 #if __GLASGOW_HASKELL__ >= 808
-             { staticPlugins = staticPlugins df <> [metaprogrammingPlugin] }
   , dynFlagsModifyParser = enableQuasiQuotes
 #endif
   }