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/should_fail/T15076b.stderr | |
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/should_fail/T15076b.stderr')
-rw-r--r-- | testsuite/tests/dependent/should_fail/T15076b.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
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 -> *). |