Test Trac #7939

4 files changed, 16 insertions, 0 deletions

diff --git a/testsuite/tests/ghci/scripts/T7939.hs b/testsuite/tests/ghci/scripts/T7939.hs
new file mode 100644
index 0000000000..ead42d91bd
--- /dev/null
+++ b/testsuite/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/testsuite/tests/ghci/scripts/T7939.script b/testsuite/tests/ghci/scripts/T7939.script
new file mode 100644
index 0000000000..03470e81ad
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T7939.script
@@ -0,0 +1,3 @@
+:l T7939
+:i Bar
+:k Bar
diff --git a/testsuite/tests/ghci/scripts/T7939.stdout b/testsuite/tests/ghci/scripts/T7939.stdout
new file mode 100644
index 0000000000..c62de9b5f6
--- /dev/null
+++ b/testsuite/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/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T
index afe46a13cd..cf8c82b7ef 100755
--- a/testsuite/tests/ghci/scripts/all.T
+++ b/testsuite/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'])