summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T8625.script
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2013-12-31 21:28:51 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2014-01-02 15:15:10 +0000
commit22770b4d2300273088765bea1aff9fc4f1ceedc5 (patch)
tree8a67f5a580d73ec49f5bf4619a98bc978787cef5 /testsuite/tests/th/T8625.script
parent4393b4ba0f2e1e23e74286c2af67602cb756294c (diff)
downloadhaskell-22770b4d2300273088765bea1aff9fc4f1ceedc5.tar.gz
Test Trac #8625
Diffstat (limited to 'testsuite/tests/th/T8625.script')
-rw-r--r--testsuite/tests/th/T8625.script6
1 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/th/T8625.script b/testsuite/tests/th/T8625.script
new file mode 100644
index 0000000000..5b3c7b28c9
--- /dev/null
+++ b/testsuite/tests/th/T8625.script
@@ -0,0 +1,6 @@
+:set -XTemplateHaskell
+:m + Language.Haskell.TH
+
+class Member a
+runQ [d| instance ( y ~ (t->t) ) => Member Bool |]
+runQ [d| f :: (y ~ (t->t)) => y -> t; f x = x |]