diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2022-06-06 15:07:16 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-06-09 09:12:19 -0400 |
| commit | 28880828182a32bcb39ce8230965a8bc17aeb218 (patch) | |
| tree | b0a4f8b71af10a381955c2ab75ba0f36a001253e /testsuite/tests/package/package07e.hs | |
| parent | 56ebf9a5bfc8791c1fa609b960f3c161882540e3 (diff) | |
| download | haskell-28880828182a32bcb39ce8230965a8bc17aeb218.tar.gz | |
Typecheck remaining ValArgs in rebuildHsApps
This patch refactors hasFixedRuntimeRep_remainingValArgs, renaming it
to tcRemainingValArgs. The logic is moved to rebuildHsApps, which
ensures consistent behaviour across tcApp and quickLookArg1/tcEValArg.
This patch also refactors the treatment of stupid theta for data
constructors, changing the place we drop stupid theta arguments
from dsConLike to mkDataConRep (now the datacon wrapper drops these
arguments).
We decided not to implement PHASE 2 of the FixedRuntimeRep plan for
these remaining ValArgs. Future directions are outlined on the wiki:
https://gitlab.haskell.org/ghc/ghc/-/wikis/Remaining-ValArgs
Fixes #21544 and #21650
Diffstat (limited to 'testsuite/tests/package/package07e.hs')
0 files changed, 0 insertions, 0 deletions