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/rep-poly/RepPolyRightSection.stderr | |
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/rep-poly/RepPolyRightSection.stderr')
-rw-r--r-- | testsuite/tests/rep-poly/RepPolyRightSection.stderr | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/testsuite/tests/rep-poly/RepPolyRightSection.stderr b/testsuite/tests/rep-poly/RepPolyRightSection.stderr index fdc7a399fa..62c0bdcd8d 100644 --- a/testsuite/tests/rep-poly/RepPolyRightSection.stderr +++ b/testsuite/tests/rep-poly/RepPolyRightSection.stderr @@ -4,10 +4,6 @@ RepPolyRightSection.hs:14:11: error: The third argument of ‘rightSection’ does not have a fixed runtime representation. Its type is: - a :: TYPE c0 - Cannot unify ‘r’ with the type variable ‘c0’ - because it is not a concrete ‘RuntimeRep’. + a :: TYPE r • In the expression: `g` undefined In an equation for ‘test2’: test2 = (`g` undefined) - • Relevant bindings include - test2 :: a -> a (bound at RepPolyRightSection.hs:14:1) |