diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2022-02-08 08:03:21 -0500 |
---|---|---|
committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2022-02-08 08:03:41 -0500 |
commit | 9af4138a567dd944cfe271b7bff7534b50de5db4 (patch) | |
tree | f05682f4e07222a2d3b362f896c0cc453c14c756 /hadrian | |
parent | ff867c460db9cfc43f5697c8e582f8c1ea4bd572 (diff) | |
download | haskell-wip/T21038.tar.gz |
Look through untyped TH splices in tcInferAppHead_maybewip/T21038
Previously, surrounding a head expression with a TH splice would defeat
`tcInferAppHead_maybe`, preventing some expressions from typechecking that
used to typecheck in previous GHC versions (see #21038 for examples). This is
simple enough to fix: just look through `HsSpliceE`s in `tcInferAppHead_maybe`.
I've added some additional prose to `Note [Application chains and heads]` in
`GHC.Tc.Gen.App` to accompany this change.
Fixes #21038.
Diffstat (limited to 'hadrian')
0 files changed, 0 insertions, 0 deletions