Add support for StaticPointers in GHCiwip/ghci-staticptrs

Here we add support to GHCi for StaticPointers. This process begins by
adding remote GHCi messages for adding entries to the static pointer
table. We then collect binders needing SPT entries after linking and
send the interpreter a message adding entries with the appropriate
fingerprints.

1 files changed, 11 insertions, 0 deletions

diff --git a/compiler/main/HscMain.hs b/compiler/main/HscMain.hs
index 7d809126bf..fce61649fa 100644
--- a/compiler/main/HscMain.hs
+++ b/compiler/main/HscMain.hs
@@ -82,8 +82,10 @@ module HscMain
     ) where
 
 import Id
+import GHCi             ( addSptEntry )
 import GHCi.RemoteTypes ( ForeignHValue )
 import ByteCodeGen      ( byteCodeGen, coreExprToBCOs )
+import StaticPtrTable   ( collectStaticThings )
 import Linker
 import CoreTidy         ( tidyExpr )
 import Type             ( Type )
@@ -1566,6 +1568,15 @@ hscDeclsWithLocation hsc_env0 str source linenumber =
     let src_span = srcLocSpan interactiveSrcLoc
     liftIO $ linkDecls hsc_env src_span cbc
 
+#ifdef GHCI
+    {- Extract static pointer table entries -}
+    let add_spt_entry :: (Id, Fingerprint) -> Hsc ()
+        add_spt_entry (i, fpr) = do
+            val <- liftIO $ getHValue hsc_env (idName i)
+            liftIO $ addSptEntry hsc_env fpr val
+    mapM_ add_spt_entry (collectStaticThings prepd_binds)
+#endif
+
     let tcs = filterOut isImplicitTyCon (mg_tcs simpl_mg)
         patsyns = mg_patsyns simpl_mg