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 /config.sub | |
| 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 'config.sub')
0 files changed, 0 insertions, 0 deletions