diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-04-09 16:27:04 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-04-20 04:37:20 -0400 |
commit | b43365ad62d73afd5c58467ab9a4f9523ab09c18 (patch) | |
tree | 0aa189ada61004f69e8d4c0d4ccf57ee1d894b0b /testsuite/tests/typecheck/should_compile/all.T | |
parent | 36882493fcaa9dd2eefa7184929765189ac339ad (diff) | |
download | haskell-b43365ad62d73afd5c58467ab9a4f9523ab09c18.tar.gz |
Fix a buglet in redundant-constraint warnings
Ticket #18036 pointed out that we were reporting a redundant
constraint when it really really wasn't.
Turned out to be a buglet in the SkolemInfo for the
relevant implication constraint. Easily fixed!
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/all.T')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 04a45f6008..a7825b9f54 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -703,3 +703,5 @@ test('T17024', normal, compile, ['']) test('T17021a', normal, compile, ['']) test('T18005', normal, compile, ['']) test('T18023', normal, compile, ['']) +test('T18036', normal, compile, ['']) +test('T18036a', normal, compile, ['']) |