diff options
| author | mniip <mniip@mniip.com> | 2019-06-28 13:19:45 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-08-07 10:18:07 -0400 |
| commit | 3d32286d212b49c95eba7aa2e013185740099aa1 (patch) | |
| tree | 560dc86d11c71d2b549300d3409d85c4f6c9c5e2 /testsuite/tests | |
| parent | bca793458c77302c1d46766b7f563c1cc4c17579 (diff) | |
| download | haskell-3d32286d212b49c95eba7aa2e013185740099aa1.tar.gz | |
Explicitly number equations when printing axiom incompatibilities
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T15546.stdout | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/ghci/scripts/T15546.stdout b/testsuite/tests/ghci/scripts/T15546.stdout index dd4c41c20e..9892753fc0 100644 --- a/testsuite/tests/ghci/scripts/T15546.stdout +++ b/testsuite/tests/ghci/scripts/T15546.stdout @@ -3,7 +3,7 @@ type family E a b :: * where 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 + {- #0 -} E a a = () + {- #1 -} E a b = Bool + -- incompatible with: #0 -- Defined at <interactive>:2:1 |