diff options
| author | Torsten Schmits <git@tryp.io> | 2023-03-17 19:00:05 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-03-22 15:31:18 -0400 |
| commit | cedf9a3b7a74a7c1c09e8b994edc40a2447dae08 (patch) | |
| tree | 2f99f3943b03210009e143089c3346465e842d9e /testsuite/tests/dependent | |
| parent | e0b8eaf3fc3d2ebbdcc86610b889930dbe5b4cdb (diff) | |
| download | haskell-cedf9a3b7a74a7c1c09e8b994edc40a2447dae08.tar.gz | |
Add structured error messages for GHC.Tc.Utils.TcMType
Tracking ticket: #20119
MR: !10138
This converts uses of `mkTcRnUnknownMessage` to newly added constructors
of `TcRnMessage`.
Diffstat (limited to 'testsuite/tests/dependent')
6 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/dependent/should_fail/T11334b.stderr b/testsuite/tests/dependent/should_fail/T11334b.stderr index 57045d6df1..c9eda334bb 100644 --- a/testsuite/tests/dependent/should_fail/T11334b.stderr +++ b/testsuite/tests/dependent/should_fail/T11334b.stderr @@ -1,5 +1,5 @@ -T11334b.hs:8:14: error: +T11334b.hs:8:14: error: [GHC-79924] • Cannot default kind variable ‘a0’ of kind: k10 Perhaps enable PolyKinds or add a kind signature @@ -7,7 +7,7 @@ T11334b.hs:8:14: error: In the expression: Proxy :: Proxy 'Compose In an equation for ‘p’: p = Proxy :: Proxy 'Compose -T11334b.hs:8:14: error: +T11334b.hs:8:14: error: [GHC-79924] • Cannot default kind variable ‘g0’ of kind: k10 -> k0 Perhaps enable PolyKinds or add a kind signature @@ -15,7 +15,7 @@ T11334b.hs:8:14: error: In the expression: Proxy :: Proxy 'Compose In an equation for ‘p’: p = Proxy :: Proxy 'Compose -T11334b.hs:8:14: error: +T11334b.hs:8:14: error: [GHC-79924] • Cannot default kind variable ‘f0’ of kind: k0 -> * Perhaps enable PolyKinds or add a kind signature diff --git a/testsuite/tests/dependent/should_fail/T14880-2.stderr b/testsuite/tests/dependent/should_fail/T14880-2.stderr index 56d8ff68ba..2e4df34c79 100644 --- a/testsuite/tests/dependent/should_fail/T14880-2.stderr +++ b/testsuite/tests/dependent/should_fail/T14880-2.stderr @@ -1,5 +1,5 @@ -T14880-2.hs:13:9: error: +T14880-2.hs:13:9: error: [GHC-71451] • Cannot generalise type; skolem ‘arg’ would escape its scope if I tried to quantify (a0 :: arg) in this type: forall arg. Proxy @{Proxy @{arg} a0 -> *} (Foo arg @a0) -> () diff --git a/testsuite/tests/dependent/should_fail/T14880.stderr b/testsuite/tests/dependent/should_fail/T14880.stderr index 90e54427c0..85f8bdb80d 100644 --- a/testsuite/tests/dependent/should_fail/T14880.stderr +++ b/testsuite/tests/dependent/should_fail/T14880.stderr @@ -1,5 +1,5 @@ -T14880.hs:13:5: error: +T14880.hs:13:5: error: [GHC-71451] • Cannot generalise type; skolem ‘arg’ would escape its scope if I tried to quantify (a0 :: arg) in this type: forall x arg. diff --git a/testsuite/tests/dependent/should_fail/T15076.stderr b/testsuite/tests/dependent/should_fail/T15076.stderr index 71d3c7c156..827b2bcdcc 100644 --- a/testsuite/tests/dependent/should_fail/T15076.stderr +++ b/testsuite/tests/dependent/should_fail/T15076.stderr @@ -1,5 +1,5 @@ -T15076.hs:11:8: error: +T15076.hs:11:8: error: [GHC-71451] • Cannot generalise type; skolem ‘a’ would escape its scope if I tried to quantify (x0 :: a) in this type: forall a (f :: forall (x :: a). Proxy @{a} x -> *). diff --git a/testsuite/tests/dependent/should_fail/T15076b.stderr b/testsuite/tests/dependent/should_fail/T15076b.stderr index 8da932a044..600253fb8d 100644 --- a/testsuite/tests/dependent/should_fail/T15076b.stderr +++ b/testsuite/tests/dependent/should_fail/T15076b.stderr @@ -1,4 +1,4 @@ -T15076b.hs:9:8: error: +T15076b.hs:9:8: error: [GHC-71451] • Cannot generalise type; skolem ‘a’ would escape its scope if I tried to quantify (x0 :: a) in this type: forall a (f :: forall (x :: a). Proxy @{a} x -> *). diff --git a/testsuite/tests/dependent/should_fail/T15825.stderr b/testsuite/tests/dependent/should_fail/T15825.stderr index 5d989303a6..5a4822f1f7 100644 --- a/testsuite/tests/dependent/should_fail/T15825.stderr +++ b/testsuite/tests/dependent/should_fail/T15825.stderr @@ -1,5 +1,5 @@ -T15825.hs:14:10: error: +T15825.hs:14:10: error: [GHC-71451] • Cannot generalise type; skolem ‘k’ would escape its scope if I tried to quantify (x0 :: k) in this type: forall k (a :: C k). X (a @x0) |