Test Trac #8625

diff --git a/testsuite/tests/th/T8625.script b/testsuite/tests/th/T8625.script
new file mode 100644 (file)
index 0000000..5b3c7b2
--- /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 |]

diff --git a/testsuite/tests/th/T8625.stdout b/testsuite/tests/th/T8625.stdout
new file mode 100644 (file)
index 0000000..a845a1e
--- /dev/null
+++ b/testsuite/tests/th/T8625.stdout
@@ -0,0 +1,2 @@
+[InstanceD [EqualP (VarT y_0) (AppT (AppT ArrowT (VarT t_1)) (VarT t_1))] (AppT (ConT :Interactive.Member) (ConT GHC.Types.Bool)) []]\r
+[SigD f_2 (ForallT [PlainTV y_3,PlainTV t_4] [EqualP (VarT y_3) (AppT (AppT ArrowT (VarT t_4)) (VarT t_4))] (AppT (AppT ArrowT (VarT y_3)) (VarT t_4))),FunD f_2 [Clause [VarP x_5] (NormalB (VarE x_5)) []]]\r

diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T
index b521f79..5b064ba 100644 (file)
--- a/testsuite/tests/th/all.T
+++ b/testsuite/tests/th/all.T
@@ -316,3 +316,4 @@ test('T8577',
      multimod_compile_fail,
      ['T8577', '-v0 ' + config.ghc_th_way_flags])
 test('T8633', normal, compile_and_run, [''])
+test('T8625', normal, ghci_script, ['T8625.script'])