diff options
author | Torsten Schmits <git@tryp.io> | 2023-03-22 13:44:16 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-03-23 09:20:13 -0400 |
commit | e1c8c41d62854553d889403d8ee52d120c26bc66 (patch) | |
tree | 743b77a8ce21c645885a47fb6f454a41d2aada39 /testsuite/tests/typecheck/should_fail/PatSynExistential.stderr | |
parent | 8cb88a5ade9427ca2f26e7f2dbf9defb8fb0ed22 (diff) | |
download | haskell-e1c8c41d62854553d889403d8ee52d120c26bc66.tar.gz |
Add structured error messages for GHC.Tc.TyCl.PatSyn
Tracking ticket: #20117
MR: !10158
This converts uses of `mkTcRnUnknownMessage` to newly added constructors
of `TcRnMessage`.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/PatSynExistential.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/PatSynExistential.stderr | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/PatSynExistential.stderr b/testsuite/tests/typecheck/should_fail/PatSynExistential.stderr new file mode 100644 index 0000000000..326974dc55 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/PatSynExistential.stderr @@ -0,0 +1,4 @@ +PatSynExistential.hs:6:1: [GHC-33973] + The result type of the signature for ‘P’, namely ‘x -> Maybe x’ + mentions existential type variable ‘x’ + In the declaration for pattern synonym ‘P’ |