diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-10-24 07:03:40 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2018-10-24 07:05:40 -0400 |
| commit | bfd93f90b6c63edf2790356e95feddf9898ec888 (patch) | |
| tree | 30d1f1bffd37b27202f52a57d604f0eee6425531 /testsuite/tests/partial-sigs/should_compile | |
| parent | bb835c96c3d962c2e08d23f6fb900665c89953b4 (diff) | |
| download | haskell-bfd93f90b6c63edf2790356e95feddf9898ec888.tar.gz | |
Fix #15792 by not reifying invisible arguments in AppTys
Summary:
The `reifyType` function in `TcSplice` is carefully designed
to avoid reifying visible arguments to `TyConApp`s. However, the same
care was not given towards the `AppTy` case, which lead to #15792.
This patch changes to the `AppTy` case of `reifyType` so that it
consults the kind of the function type to determine which of the
argument types are invisible (and therefore should be dropped) during
reification. This required crafting a variant of `tyConArgFlags`,
which I dubbed `appTyArgFlags`, that accept an arbitrary function
`Type` instead of a `TyCon`.
Test Plan: make test TEST=T15792
Reviewers: goldfire, bgamari, simonpj
Reviewed By: simonpj
Subscribers: simonpj, rwbarton, carter
GHC Trac Issues: #15792
Differential Revision: https://phabricator.haskell.org/D5252
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile')
0 files changed, 0 insertions, 0 deletions