summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/TH_scopedTvs.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/th/TH_scopedTvs.hs')
-rw-r--r--testsuite/tests/th/TH_scopedTvs.hs7
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/th/TH_scopedTvs.hs b/testsuite/tests/th/TH_scopedTvs.hs
new file mode 100644
index 0000000000..015911fde8
--- /dev/null
+++ b/testsuite/tests/th/TH_scopedTvs.hs
@@ -0,0 +1,7 @@
+{-# LANGUAGE TemplateHaskell, ScopedTypeVariables #-}
+module Foo where
+
+
+$([d| f :: forall a. a->a
+ f x = x::a
+ |])