[commit: testsuite] master: Test Trac #7939 (254605d)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

https://github.com/ghc/testsuite/commit/254605de0b64016e6b8abb202b2391e78f319ecd

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

commit 254605de0b64016e6b8abb202b2391e78f319ecd
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon May 27 17:32:07 2013 +0100

    Test Trac #7939

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

 tests/ghci/scripts/T7939.hs     |    8 ++++++++
 tests/ghci/scripts/T7939.script |    3 +++
 tests/ghci/scripts/T7939.stdout |    4 ++++
 tests/ghci/scripts/all.T        |    1 +
 4 files changed, 16 insertions(+), 0 deletions(-)

diff --git a/tests/ghci/scripts/T7939.hs b/tests/ghci/scripts/T7939.hs
new file mode 100644
index 0000000..ead42d9
--- /dev/null
+++ b/tests/ghci/scripts/T7939.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE TypeFamilies, PolyKinds #-}
+
+module T7939 where
+
+class Foo a where
+   type Bar a
+
+
diff --git a/tests/ghci/scripts/T7939.script b/tests/ghci/scripts/T7939.script
new file mode 100644
index 0000000..03470e8
--- /dev/null
+++ b/tests/ghci/scripts/T7939.script
@@ -0,0 +1,3 @@
+:l T7939
+:i Bar
+:k Bar
diff --git a/tests/ghci/scripts/T7939.stdout b/tests/ghci/scripts/T7939.stdout
new file mode 100644
index 0000000..c62de9b
--- /dev/null
+++ b/tests/ghci/scripts/T7939.stdout
@@ -0,0 +1,4 @@
+class Foo (k :: BOX) (a :: k) where
+  type family Bar (k :: BOX) (k :: BOX) (a :: k) :: k
+  	-- Defined at T7939.hs:6:9
+Bar :: k1 -> k
diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T
index afe46a1..cf8c82b 100755
--- a/tests/ghci/scripts/all.T
+++ b/tests/ghci/scripts/all.T
@@ -149,4 +149,5 @@ test('T7586', normal, ghci_script, ['T7586.script'])
 test('T4175', normal, ghci_script, ['T4175.script'])
 test('T7872', normal, ghci_script, ['T7872.script'])
 test('T7873', normal, ghci_script, ['T7873.script'])
+test('T7939', normal, ghci_script, ['T7939.script'])