diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-01-17 10:45:35 +0100 |
|---|---|---|
| committer | sheaf <sam.derbyshire@gmail.com> | 2022-01-17 14:52:50 +0000 |
| commit | f161e890dfd41fd9735f4e259fffe2ce6d00ec1a (patch) | |
| tree | e6c54b25f3cbb87458dea92c04e23993997e3746 /testsuite/tests/backpack | |
| parent | a13aff98cfccddee285b6550dd08c6ec1a3c4e17 (diff) | |
| download | haskell-f161e890dfd41fd9735f4e259fffe2ce6d00ec1a.tar.gz | |
Use diagnostic infrastructure in GHC.Tc.Errors
Diffstat (limited to 'testsuite/tests/backpack')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail24.stderr | 8 | ||||
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail44.stderr | 6 | ||||
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail49.stderr | 8 |
3 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail24.stderr b/testsuite/tests/backpack/should_fail/bkpfail24.stderr index 65a79bf119..ee4238451f 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail24.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail24.stderr @@ -1,10 +1,10 @@ [1 of 1] Processing p - [1 of 3] Compiling H1[sig] ( p/H1.hsig, nothing ) - [2 of 3] Compiling H2[sig] ( p/H2.hsig, nothing ) - [3 of 3] Compiling M ( p/M.hs, nothing ) + [1 of 3] Compiling H1[sig] ( p\H1.hsig, nothing ) + [2 of 3] Compiling H2[sig] ( p\H2.hsig, nothing ) + [3 of 3] Compiling M ( p\M.hs, nothing ) bkpfail24.bkp:14:15: error: - • Could not deduce: a ~ b + • Could not deduce (a ~ b) from the context: {H1.T} ~ {H2.T} bound by the type signature for: f :: forall a b. ({H1.T} ~ {H2.T}) => a -> b diff --git a/testsuite/tests/backpack/should_fail/bkpfail44.stderr b/testsuite/tests/backpack/should_fail/bkpfail44.stderr index c16b2f2527..d51742c987 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail44.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail44.stderr @@ -1,9 +1,9 @@ [1 of 1] Processing p - [1 of 2] Compiling A[sig] ( p/A.hsig, nothing ) - [2 of 2] Compiling B ( p/B.hs, nothing ) + [1 of 2] Compiling A[sig] ( p\A.hsig, nothing ) + [2 of 2] Compiling B ( p\B.hs, nothing ) bkpfail44.bkp:10:15: error: - • Could not deduce: a ~ b + • Could not deduce (a ~ b) from the context: Coercible (T a) (T b) bound by the type signature for: f :: forall a b. Coercible (T a) (T b) => a -> b diff --git a/testsuite/tests/backpack/should_fail/bkpfail49.stderr b/testsuite/tests/backpack/should_fail/bkpfail49.stderr index b6b60e2b86..f61be26f1a 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail49.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail49.stderr @@ -1,10 +1,10 @@ [1 of 2] Processing p - [1 of 1] Compiling A[sig] ( p/A.hsig, nothing ) + [1 of 1] Compiling A[sig] ( p\A.hsig, nothing ) [2 of 2] Processing q - [1 of 3] Compiling A[sig] ( q/A.hsig, nothing ) - [2 of 3] Compiling M ( q/M.hs, nothing ) + [1 of 3] Compiling A[sig] ( q\A.hsig, nothing ) + [2 of 3] Compiling M ( q\M.hs, nothing ) bkpfail49.bkp:11:13: error: Not in scope: data constructor ‘A.True’ - Module ‘A’ does not export ‘True’. + NB: the module ‘A’ does not export ‘True’. [3 of 3] Instantiating p |