diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2022-10-24 22:34:55 +0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-10-26 12:17:14 -0400 |
| commit | f60a1a62bf88ec787a5b5d1725129a24b6b81f4a (patch) | |
| tree | f49fc1e2b34bb7b1ec833133cf5160bc0977a6af /HACKING.md | |
| parent | 9ab31f42da8796363187e387c4085e8c9197f4e5 (diff) | |
| download | haskell-f60a1a62bf88ec787a5b5d1725129a24b6b81f4a.tar.gz | |
Use TcRnVDQInTermType in noNestedForallsContextsErr (#20115)
When faced with VDQ in the type of a term, GHC generates the following
error message:
Illegal visible, dependent quantification in the type of a term
(GHC does not yet support this)
Prior to this patch, there were two ways this message could have been
generated and represented:
1. with the dedicated constructor TcRnVDQInTermType
(see check_type in GHC.Tc.Validity)
2. with the transitional constructor TcRnUnknownMessage
(see noNestedForallsContextsErr in GHC.Rename.Utils)
Not only this led to duplication of code generating the final SDoc,
it also made it tricky to track the origin of the error message.
This patch fixes the problem by using TcRnVDQInTermType exclusively.
Diffstat (limited to 'HACKING.md')
0 files changed, 0 insertions, 0 deletions