1 files changed, 23 insertions, 0 deletions
diff --git a/testsuite/tests/th/T12561A.hs b/testsuite/tests/th/T12561A.hs
new file mode 100644
index 0000000000..c3a4e93cbe
--- /dev/null
+++ b/testsuite/tests/th/T12561A.hs
@@ -0,0 +1,23 @@
+{-# Language TemplateHaskell #-}
+
+module T12561A where
+
+import Language.Haskell.TH
+import Language.Haskell.TH.Syntax
+
+import Data.IORef
+
+t1 = do
+  c1 <- [|| (1::Int) + 2 ||]
+  c2 <- [|| 3 + $$(return c1) ||]
+  return c2
+
+t2 :: Q (TExp Int)
+t2 = do
+  r <- runIO $ newIORef undefined
+  c1 <- [|| \x -> (1::Int) +
+                  $$(do
+                     xv <- [||x||]
+                     runIO $ writeIORef r xv
+                     return xv) ||]
+  runIO $ readIORef r