summaryrefslogtreecommitdiff
path: root/m4/ghc_select_file_extensions.m4
diff options
context:
space:
mode:
authorVladislav Zavialov <vlad.z.4096@gmail.com>2022-10-24 22:34:55 +0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-10-26 12:17:14 -0400
commitf60a1a62bf88ec787a5b5d1725129a24b6b81f4a (patch)
treef49fc1e2b34bb7b1ec833133cf5160bc0977a6af /m4/ghc_select_file_extensions.m4
parent9ab31f42da8796363187e387c4085e8c9197f4e5 (diff)
downloadhaskell-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 'm4/ghc_select_file_extensions.m4')
0 files changed, 0 insertions, 0 deletions