Test Trac #8625
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 31 Dec 2013 21:28:51 +0000 (21:28 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 2 Jan 2014 15:15:10 +0000 (15:15 +0000)
testsuite/tests/th/T8625.script [new file with mode: 0644]
testsuite/tests/th/T8625.stdout [new file with mode: 0644]
testsuite/tests/th/all.T

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