diff options
Diffstat (limited to 'testsuite/tests')
-rw-r--r-- | testsuite/tests/ghci/scripts/T15546.script | 5 | ||||
-rw-r--r-- | testsuite/tests/ghci/scripts/T15546.stdout | 11 | ||||
-rwxr-xr-x | testsuite/tests/ghci/scripts/all.T | 1 |
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']) |