summaryrefslogtreecommitdiff
path: root/testsuite/tests
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests')
-rw-r--r--testsuite/tests/ghci/scripts/T15546.script5
-rw-r--r--testsuite/tests/ghci/scripts/T15546.stdout11
-rwxr-xr-xtestsuite/tests/ghci/scripts/all.T1
3 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T15546.script b/testsuite/tests/ghci/scripts/T15546.script
new file mode 100644
index 0000000000..76bcda783e
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T15546.script
@@ -0,0 +1,5 @@
+:set -XTypeFamilies
+type family E a b where E a a = (); E a b = Bool
+:info E
+:set -fprint-axiom-incomps
+:info E
diff --git a/testsuite/tests/ghci/scripts/T15546.stdout b/testsuite/tests/ghci/scripts/T15546.stdout
new file mode 100644
index 0000000000..a5e8292ac3
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T15546.stdout
@@ -0,0 +1,11 @@
+type family E a b :: *
+ where
+ E a a = ()
+ E a b = Bool
+ -- Defined at <interactive>:2:1
+type family E a b :: *
+ where
+ E a a = ()
+ E a b = Bool
+ -- incompatible indices: 0
+ -- Defined at <interactive>:2:1
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T
index 946c6ef954..576357cb70 100755
--- a/testsuite/tests/ghci/scripts/all.T
+++ b/testsuite/tests/ghci/scripts/all.T
@@ -292,3 +292,4 @@ test('T16030', normal, ghci_script, ['T16030.script'])
test('T11606', normal, ghci_script, ['T11606.script'])
test('T16089', normal, ghci_script, ['T16089.script'])
test('T14828', expect_broken(14828), ghci_script, ['T14828.script'])
+test('T15546', normal, ghci_script, ['T15546.script'])