[commit: testsuite] master: Test Trac #8625 (6425ccb)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/6425ccb4fc85c4e1d03dd21768697a989d3e8bc9/testsuite

>---------------------------------------------------------------

commit 6425ccb4fc85c4e1d03dd21768697a989d3e8bc9
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Dec 31 21:28:51 2013 +0000

    Test Trac #8625


>---------------------------------------------------------------

6425ccb4fc85c4e1d03dd21768697a989d3e8bc9
 tests/th/T8625.script |    6 ++++++
 tests/th/T8625.stdout |    2 ++
 tests/th/all.T        |    1 +
 3 files changed, 9 insertions(+)

diff --git a/tests/th/T8625.script b/tests/th/T8625.script
new file mode 100644
index 0000000..5b3c7b2
--- /dev/null
+++ b/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/tests/th/T8625.stdout b/tests/th/T8625.stdout
new file mode 100644
index 0000000..a845a1e
--- /dev/null
+++ b/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)) []]
+[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)) []]]
diff --git a/tests/th/all.T b/tests/th/all.T
index b521f79..5b064ba 100644
--- a/tests/th/all.T
+++ b/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'])