diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-05-06 09:49:45 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-05-07 20:07:19 -0400 |
commit | a32eb0f3d5037b0c6fefa38ec19ff8c22076d102 (patch) | |
tree | 79a0288f27a22c46d4ea2d6c0cfabc28c13a185e /testsuite/tests/polykinds/all.T | |
parent | 39be32839e4622c6df2f0544f2ad6fc9ed51c81c (diff) | |
download | haskell-a32eb0f3d5037b0c6fefa38ec19ff8c22076d102.tar.gz |
Fix newtype eta-reduction
The eta-reduction we do for newype axioms was generating
an inhomogeneous axiom: see #19739.
This patch fixes it in a simple way; see GHC.Tc.TyCl.Build
Note [Newtype eta and homogeneous axioms]
Diffstat (limited to 'testsuite/tests/polykinds/all.T')
-rw-r--r-- | testsuite/tests/polykinds/all.T | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index 581b065fa9..275281f527 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -236,3 +236,7 @@ test('T19093', normal, compile, ['']) test('T19094', normal, compile, ['']) test('T19250', normal, compile, ['']) test('T19522', normal, compile, ['']) +test('T19739a', normal, compile, ['']) +test('T19739b', normal, compile, ['']) +test('T19739c', normal, compile, ['']) +test('T19739d', normal, compile, ['']) |