Add test case for #8776

4 files changed, 11 insertions, 0 deletions

diff --git a/testsuite/tests/ghci/scripts/T8776.hs b/testsuite/tests/ghci/scripts/T8776.hs
new file mode 100644
index 0000000000..55e329cd43
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T8776.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE PatternSynonyms, GADTs #-}
+data A x y = (Num x, Eq y) => B
+
+data R = R{ rX :: Int }
+
+pattern P = B
diff --git a/testsuite/tests/ghci/scripts/T8776.script b/testsuite/tests/ghci/scripts/T8776.script
new file mode 100644
index 0000000000..baaca9f66e
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T8776.script
@@ -0,0 +1,2 @@
+:load T8776.hs
+:i P
diff --git a/testsuite/tests/ghci/scripts/T8776.stdout b/testsuite/tests/ghci/scripts/T8776.stdout
new file mode 100644
index 0000000000..9c9e89ad94
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T8776.stdout
@@ -0,0 +1 @@
+pattern (Num t, Eq t1) => P :: (A t t1) 	-- Defined at T8776.hs:6:9
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T
index e9fe6e864a..06c07162f9 100755
--- a/testsuite/tests/ghci/scripts/all.T
+++ b/testsuite/tests/ghci/scripts/all.T
@@ -166,3 +166,5 @@ test('T8579', normal, ghci_script, ['T8579.script'])
 test('T8649', normal, ghci_script, ['T8649.script'])
 test('T8674', normal, ghci_script, ['T8674.script'])
 test('T8696', normal, ghci_script, ['T8696.script'])
+test('T8776', normal, ghci_script, ['T8776.script'])
+