1 files changed, 80 insertions, 0 deletions
diff --git a/testsuite/tests/plugins/static-plugins.hs b/testsuite/tests/plugins/static-plugins.hs
new file mode 100644
index 0000000000..36e18b86b5
--- /dev/null
+++ b/testsuite/tests/plugins/static-plugins.hs
@@ -0,0 +1,80 @@
+module Main where
+
+import Avail
+import Control.Monad.IO.Class
+import DynFlags
+  (getDynFlags, parseDynamicFlagsCmdLine, defaultFatalMessager, defaultFlushOut)
+import GHC
+import GHC.Fingerprint.Type
+import HsDecls
+import HsDoc
+import HsExpr
+import HsExtension
+import HsImpExp
+import HscTypes
+import Outputable
+import Plugins
+import System.Environment
+import TcRnTypes
+
+import Simple.SourcePlugin (plugin)
+
+main = do
+  libdir:args <- getArgs
+  defaultErrorHandler defaultFatalMessager defaultFlushOut $ do
+    runGhc (Just libdir) $ do
+      dflags <- getSessionDynFlags
+      -- liftIO $ print args
+      -- (dflags,_,_)
+      --     <- parseDynamicFlagsCmdLine dflags (map noLoc args)
+      -- we need to LinkInMemory otherwise `setTarget [] >> load LoadAllTargets`
+      -- below will fail.
+      setSessionDynFlags dflags { ghcLink = LinkInMemory}
+
+      -- Start with a pure plugin, this should trigger recomp.
+      liftIO $ putStrLn "==pure.0"
+      loadWithPlugins [StaticPlugin $ PluginWithArgs plugin0_pure []]
+
+      -- The same (or a different) pure plugin shouldn't trigger recomp.
+      liftIO $ putStrLn "==pure.1"
+      loadWithPlugins [StaticPlugin $ PluginWithArgs plugin0_pure []]
+
+      -- Next try with a fingerprint plugin, should trigger recomp.
+      liftIO $ putStrLn "==fp0.0"
+      loadWithPlugins [StaticPlugin $ PluginWithArgs plugin_fp0 []]
+
+      -- With the same fingerprint plugin, should not trigger recomp.
+      liftIO $ putStrLn "==fp0.1"
+      loadWithPlugins [StaticPlugin $ PluginWithArgs plugin_fp0 []]
+
+      -- Change the plugin fingerprint, should trigger recomp.
+      liftIO $ putStrLn "==fp1"
+      loadWithPlugins [StaticPlugin $ PluginWithArgs plugin_fp1 []]
+
+      -- TODO: this currently doesn't work, patch pending
+      -- -- Even though the plugin is now pure we should still recomp since we
+      -- -- used a potentially impure plugin before
+      -- liftIO $ putStrLn "pure.2"
+      -- loadWithPlugins [StaticPlugin $ PluginWithArgs plugin0_pure []]
+
+  where
+    loadWithPlugins the_plugins = do
+      -- first unload (like GHCi :load does)
+      GHC.setTargets []
+      _ <- GHC.load LoadAllTargets
+
+      target <- guessTarget "static-plugins-module.hs" Nothing
+      setTargets [target]
+
+      dflags <- getSessionDynFlags
+      setSessionDynFlags dflags { staticPlugins = the_plugins
+                                , outputFile = Nothing }
+      load LoadAllTargets
+
+
+plugin_fp0   =
+  plugin { pluginRecompile = \_ -> pure $ MaybeRecompile $ Fingerprint 0 0 }
+plugin_fp1   =
+  plugin { pluginRecompile = \_ -> pure $ MaybeRecompile $ Fingerprint 0 1 }
+plugin0_pure =
+  plugin { pluginRecompile = \_ -> pure $ NoForceRecompile }