 +
  runMetaAW :: LHsExpr GhcTc         -- Of type AnnotationWrapper
            -> TcM Serialized
--runMetaAW = runMeta metaRequestAW
-+runMetaAW = runMeta metaRequestAW undefined undefined
+ runMetaAW = runMeta metaRequestAW
++  (panic "runMetaAW doesn't support splice caching (read)")
++  (panic "runMetaAW doesn't support splice caching (write)")
  
  runMetaE :: LHsExpr GhcTc          -- Of type (Q Exp)
           -> TcM (LHsExpr GhcPs)

+
+emptyHsSpliceData :: HsSpliceData
+emptyHsSpliceData = HsSpliceData Map.empty
+
+data SpliceResult
+  = SRExpr  (LHsExpr GhcSe)

 
 defaultRunMeta :: MetaHook TcM
 defaultRunMeta (MetaE r)
@@ -694,29 +714,101 @@ defaultRunMeta (MetaAW r)
     -- the toAnnotationWrapper function that we slap around the user's code
 
 ----------------
