diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-10-15 11:08:26 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-24 18:38:32 -0400 |
commit | 9de3f8b1382f46899b2be2092c0b94eae95ae6aa (patch) | |
tree | 0a863f2586a6164cd482e4697ec9a97e81a04d9e /testsuite/tests/typecheck/should_fail/all.T | |
parent | 6824f29aebd28571db118eb6877ef04eda630871 (diff) | |
download | haskell-9de3f8b1382f46899b2be2092c0b94eae95ae6aa.tar.gz |
Make isTcLevPoly more conservative with newtypes (#17360)
`isTcLevPoly` gives an approximate answer for when a type constructor
is levity polymorphic when fully applied, where `True` means
"possibly levity polymorphic" and `False` means "definitely not
levity polymorphic". `isTcLevPoly` returned `False` for newtypes,
which is incorrect in the presence of `UnliftedNewtypes`, leading
to #17360. This patch tweaks `isTcLevPoly` to return `True` for
newtypes instead.
Fixes #17360.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/all.T')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/all.T b/testsuite/tests/typecheck/should_fail/all.T index 3f8dfc0abe..75c1fe6f19 100644 --- a/testsuite/tests/typecheck/should_fail/all.T +++ b/testsuite/tests/typecheck/should_fail/all.T @@ -547,3 +547,4 @@ test('T16512a', normal, compile_fail, ['']) test('T16512b', normal, compile_fail, ['']) test('T17213', [extra_files(['T17213a.hs'])], multimod_compile_fail, ['T17213', '-v0']) test('T17355', normal, compile_fail, ['']) +test('T17360', normal, compile_fail, ['']) |