diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-11-25 11:35:50 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-11-25 17:46:50 +0000 |
| commit | 1bfff60fc57cd564382b86bdfb1f2764ca15d44f (patch) | |
| tree | 44c82903fd11a6a51f8fb7dfd5cbc054917d09da /testsuite/tests/partial-sigs/should_compile/all.T | |
| parent | eb55ec2941239dee05afc6be818b129efe51660e (diff) | |
| download | haskell-1bfff60fc57cd564382b86bdfb1f2764ca15d44f.tar.gz | |
Fix inference of partial signatures
When we had
f :: ( _ ) => blah
we were failing to call growThetaTyVars, as we do in the
no-type-signature case, and that meant that we weren't generalising
over the right type variables. I'm quite surprised this didn't cause
problems earlier.
Anyway Trac #12844 showed it up and this patch fixes it
Diffstat (limited to 'testsuite/tests/partial-sigs/should_compile/all.T')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_compile/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_compile/all.T b/testsuite/tests/partial-sigs/should_compile/all.T index b3208518f4..10cdfaaf35 100644 --- a/testsuite/tests/partial-sigs/should_compile/all.T +++ b/testsuite/tests/partial-sigs/should_compile/all.T @@ -68,3 +68,4 @@ test('T11670', normal, compile, ['']) test('T12156', normal, compile_fail, ['-fdefer-typed-holes']) test('T12531', normal, compile, ['-fdefer-typed-holes']) test('T12845', normal, compile, ['']) +test('T12844', normal, compile, ['']) |