Merge branch 'master' into garbage-collection

Author: jneira

docs/installation.md

@@ -55,6 +55,11 @@ sudo pacman -S haskell-language-server
 In this case, `haskell-language-server` is compiled against the GHC distributed to Arch Linux, so you will need maintain a system wide Haskell development environment, and install GHC from `pacman` as well.
 See [ArchWiki](https://wiki.archlinux.org/index.php/Haskell) for the details of Haskell infrastructure on Arch Linux.
 
+## Fedora
+
+Binary packages for Fedora are available from [this Copr repo](https://copr.fedorainfracloud.org/coprs/petersen/haskell-language-server),
+built against the official Fedora ghc package.
+
 ## FreeBSD
 
 HLS is available for installation from official binary packages. Use

plugins/hls-tactics-plugin/src/Wingman/StaticPlugin.hs

@@ -13,6 +13,7 @@ import Development.IDE.GHC.Compat.Util
 import GHC.LanguageExtensions.Type (Extension(EmptyCase, QuasiQuotes))
 import Generics.SYB
 import Ide.Types
+import Plugins (purePlugin)
 
 staticPlugin :: DynFlagsModifications
 staticPlugin = mempty
@@ -66,8 +67,12 @@ allowEmptyCaseButWithWarning =
 #if __GLASGOW_HASKELL__ >= 808
 metaprogrammingPlugin :: StaticPlugin
 metaprogrammingPlugin =
-    StaticPlugin $ PluginWithArgs (defaultPlugin { parsedResultAction = worker })  []
+    StaticPlugin $ PluginWithArgs pluginDefinition  []
   where
+    pluginDefinition = defaultPlugin
+        { parsedResultAction = worker
+        , pluginRecompile = purePlugin
+        }
     worker :: Monad m => [CommandLineOption] -> ModSummary -> HsParsedModule -> m HsParsedModule
     worker _ _ pm = pure $ pm { hpm_module = addMetaprogrammingSyntax $ hpm_module pm }
 #endif