 +--   represented by the first argument.
 +addSpliceExprResult :: LHsExpr GhcTc -> LHsExpr GhcPs -> TcM ()
 +addSpliceExprResult (L l _) resultE = do
-+  liftIO $ putStrLn ("Recording expression splice result from location: " ++ showSDocUnsafe (ppr l))
 +  serialExpr <- exprPS2SE resultE
 +  modifyHsSpliceData (recordSpliceResult l (SRExpr serialExpr))
 +

                                    OutputableBndrId (GhcPass p),
diff --git a/compiler/hsSyn/HsExprBin.hs b/compiler/hsSyn/HsExprBin.hs
new file mode 100644
index 0000000000..d305587d97
--- /dev/null
+++ b/compiler/hsSyn/HsExprBin.hs
@@ -0,0 +1,90 @@
+module HsExprBin
+  ( getModuleSplicesPath
+  , whenSet
+  , HsSpliceData(..)
+  , emptyHsSpliceData
+  , SpliceResult(..)
+  , recordSpliceResult

 
 runMetaP :: LHsExpr GhcTc          -- Of type (Q Pat)
          -> TcM (LPat GhcPs)
 runMetaP = runMeta metaRequestP
+  (panic "runMetaP doesn't support splice caching (read)")
+  (panic "runMetaP doesn't support splice caching (write)")
 
 runMetaT :: LHsExpr GhcTc          -- Of type (Q Type)
          -> TcM (LHsType GhcPs)
 runMetaT = runMeta metaRequestT
+  (panic "runMetaT doesn't support splice caching (read)")
+  (panic "runMetaT doesn't support splice caching (write)")
 
 runMetaD :: LHsExpr GhcTc          -- Of type Q [Dec]
          -> TcM [LHsDecl GhcPs]
