diff --git a/testsuite/tests/ghc-regress/th/T2817.hs b/testsuite/tests/ghc-regress/th/T2817.hs
new file mode 100644
index 0000000000000000000000000000000000000000..6bdee60994e63718c47627bdbeae70b995210fc5
--- /dev/null
+++ b/testsuite/tests/ghc-regress/th/T2817.hs
@@ -0,0 +1,11 @@
+{-# OPTIONS -XTemplateHaskell #-} 
+module TH( x ) where 
+import Language.Haskell.TH
+
+data T f = MkT (f Int)
+
+x = $(return (SigE (VarE 'x) (AppT (ConT ''T) (AppT ArrowT (ConT ''Int)))))
+ 
+
+
+
diff --git a/testsuite/tests/ghc-regress/th/all.T b/testsuite/tests/ghc-regress/th/all.T
index cee2210ce2309670c0de4d66e622f2b12a8ef8b0..2e8af061e35711af1df07387f01928eb612ce0e0 100644
--- a/testsuite/tests/ghc-regress/th/all.T
+++ b/testsuite/tests/ghc-regress/th/all.T
@@ -118,6 +118,7 @@ test('TH_ghci1', normal, ghci_script, ['TH_ghci1.script'])
 test('TH_scope', normal, compile, [''])
 test('T2632', normal, compile, [''])
 test('T2700', normal, compile, ['-v0'])
+test('T2817', normal, compile, ['-v0'])
 test('T2713', normal, compile_fail, ['-v0'])
 test('T2674', normal, compile_fail, ['-v0'])
 test('TH_emptycase', normal, compile_fail, ['-v0'])